Gabriele Costa

Gabriele Costa è Professore Associato presso la SySMA Unit della Scuola di Alti Studi IMT di Lucca. Si è laureato in Informatica presso l’Universitò di Pisa nel 2007 dove ha anche conseguito il Ph.D in Computer Science nel 2011. È stato membro del cybersecurity group dell’Istituto di Informatica e Telematica del CNR e le sue attività passate includono un periodo come visiting researcher al Politecnico federale di Zurigo tra il 2016 e il 2017.

Ha collaborato alla fondazione del Computer Security Laboratory (CSec) del DIBRIS, Università di Genova ed è co-founder and CRO di Talos, una startup innovativa che fornisce servizi e prodotti per la cybersecurity.

I suoi interessi di ricerca si focalizzano sull’applicazione dei metodi formali per la verifica e il testing automatico dei sistemi mobili e compositi. Tali sistemi includono quelli basati su software mobile, servizi, cloud e fog computing così come le infrastrutture critiche e le supply chain.