ALWAYS A STEP AHEAD

Comitato Scientifico

JuliaSoft crede fortemente nella ricerca scientifica come unico modo di mantenersi un passo avanti ai competitors e di garantire la qualità dei suoi strumenti.

Il nostro team di ricerca e sviluppo è guidato da un comitato scientifico composto da alcuni dei migliori ricercatori a livello globale nel campo di analisi statica, e in particolare nell’interpretazione astratta.

  • Fausto Spoto Scientific Authority

    Specializzato in interpretazione astratta, ha iniziato a sviluppare l’analizzatore Julia come progetto universitario nel 2003 per poi trasformarlo in una società spin-off nel 2010.

  • Pietro Ferrara Scientific Core Lab

    E’ un esperto nell’applicazione della teoria dell’interpretazione astratta all’analisi statica di programmi Java, e in particolare su problematiche di sicurezza in Android, Java Multithreading e inferenza di contratti per la verifica automatica di programmi.

  • Roberto Giacobazzi
    Roberto Giacobazzi Professore Ordinario

    Professore Ordinario dell’Università degli Studi di Verona, Roberto Giacobazzi era tra i primi ad introdurre la teoria dell’interpretazione astratta in Italia nel 1988 con la sua tesi di laurea.

Contact Us

We're not around right now. But you can send us an email and we'll get back to you, asap.

Inizia a digitare e premi Enter per effettuare una ricerca