Sono un university assistant nel gruppo di ricerca Cyber-Physical Systems presso TU Wien a Vienna (Austria).

La mia ricerca riguarda la specificazione e la verifica di modelli agent-based. I sistemi software diventano sempre più una parte integrante delle nostre vite, quindi vogliamo che siano privi di errori; inoltre, credo che questo tipo di tecniche di verifica possa anche essere applicato con successo all’analisi dei sistemi complessi. Lavoro per realizzare linguaggi e strumenti che ci aiutino in tal senso. Più di recente ho anche iniziato a lavorare nell’ambito della reactive synthesis.

Altro

Nel 2022–2024 ho svolto un postdoc presso il progetto D-SynMA, basato a Gothenburg (Svezia).

Nel 2020–2022 sono stato ricercatore postdoc presso il team CONVECS, Inria Grenoble Rhône-Alpes.

Dal 2020 sono dottore di ricerca in Computer Science, titolo che ho conseguito presso il Gran Sasso Science Institute (GSSI).

Da dicembre 2019 a ottobre 2020 sono stato finanziato dal gruppo SysMA presso IMT Lucca, con una borsa di studio in “Verification of Emerging Properties in Collective Adaptive Systems”.

Ho conseguito la laurea magistrale in Ingegneria Informatica e Automatica presso l’Università degli studi dell’Aquila.

Sono uno scout dal 1998 e faccio parte della Pattuglia Nazionale Informatica della mia associazione.

Interessi

- Luca