Gianluca Caiazza

Gianluca Caiazza è ricercatore presso l’Università Ca’ Foscari di Venezia. Dopo il dottorato e il postdoc al Centro ACADIA sotto la supervisione del Professor Agostino Cortesi, ha collaborato con il “Laboratorio per l’Intelligenza Artificiale e la Società Intelligente” dell’Università Gachon a Seoul.

La sua ricerca si concentra sulla sicurezza dei sistemi cibernetici-fisici, con particolare attenzione alla robotica e ai dispositivi connessi distribuiti. Studia il bilanciamento tra sicurezza e usabilità nelle applicazioni IoT e sviluppa strumenti per la valutazione automatica e la verifica della sicurezza in ambienti robotici. Attualmente lavora sulla verifica matematica delle proprietà nei sistemi multi-agente distribuiti e sulla privacy nelle reti dinamiche.