Transcript Gabriele Costa

Gabriele Costa
Gabriele Costa la laurea magistrale in Informatica nel 2006 presso l'Università di Pisa. Dal
2006 al 2007 ha lavorato presso Capgemini S.p.A. ed ha conseguito il dottorato di
ricerca presso l’Università di Pisa nel 2011.
Nel periodo dal 2008 al 2011 ha lavorato come ricercatore per il Gruppo di Sicurezza
dell’Istituto di Informatica e Telematica del CNR.
Dal 2012 al 2014 è stato ricercatore presso il Computer Security Laboratory
(precedentemente AI-Lab) ed è diventato Assistant Professor per il Dipartimento di Informatica
Bioingegneria Robotica e Ingegneria dei Sistemi (DIBRIS) dell’Università di Genova nel
2014. Ha partecipato attivamente a diversi progetti europei sulla sicurezza dei sistemi mobili e
dei servizi, tra i quali NESSoS, Aniketos, SPaCIoS e Connect.
I suoi interessi di ricerca includono (ma non sono limitati a) l’applicazione di metodi formali
alla verifica e al testing dei sistemi, l’analisi di sicurezza dei sistemi e del codice mobile, lo
studio delle proprietà di sicurezza dei linguaggi di programmazione.