Esperienza lavorativa
Marzo 2024 – Oggi
TU Wien (Università tecnica di Vienna)
University Assistant (Post-doc)
Ricercatore nell'unità Cyber-Physical Systems dell'Istituto di Informatica.
Maggio 2022 – Febbraio 2024
Università di Gothenburg, Gothenburg, Svezia
Post-doc
Ricercatore nell'unità Formal Methods del dipartimento di Computer Science and Engineering, nell'ambito del progetto D-SynMA (Distributed Synthesis from Single to Multiple Agents).
Novembre 2020 – Aprile 2022
Inria Grenoble Rhône-Alpes, Grenoble, France
Post-doc
Ricercatore presso il team CONVECS (Construction of Verified Concurrent Systems).
Dicembre 2019 – Ottobre 2020
IMT Scuola di Studi Avanzati, Lucca, Italy
Short-term research grant
Borsa di studio su "Verification of Emerging Properties in Collective Adaptive Systems" presso il gruppo SysMA (System Modelling and Analysis).
Marzo 2019 – Luglio 2019
Inria Grenoble Rhône-Alpes, Grenoble, France
Visiting PhD Student
Visiting nel team CONVECS (Construction of Verified Concurrent Systems). Modellazione e verifica di sistemi concorrenti (multi-agent systems).
- CADP Verification toolbox
- LNT process calculus
Giugno 2015 – Febbraio 2016
Thales Alenia Space Italia, L'Aquila, Italy
Stagista (reparto Workshop Planning and Lines Industrialization)
Manutenzione di sistemi legacy nell'ambito della tracciabilità dei dati di produzione; migrazione di dati e logiche di business verso piattaforma SQL Server; manutenzione e inserimento di funzionalità aggiuntive su applicazioni client.
- Applicazioni Office (Excel, Access) e VBA
- Microsoft SQL Server e ODBC
Gennaio 2015 – oggi
Associazione Italiana Guide e Scout d’Europa Cattolici
Volontario (Pattuglia Nazionale Informatica)
Collaborazione allo sviluppo del portale associativo. Realizzazione di applicazioni web ad uso interno.
- ASP.Net Web API
- PHP
- Wordpress
- Javascript + JQuery
Gennaio – Marzo 2015
Aubay Research & Technologies SpA, Carsoli (L'Aquila)
Stagista
Tesi di laurea. Progettazione e realizzazione di una piattaforma di publishing per contenuti editoriali e di un client mobile multipiattaforma (Android, Windows Phone).
- ASP.Net Web API
- C#
- Windows Communication Foundation
- Java e framework Android
- Xamarin
Istruzione
2016 – 2020
PhD in Computer Science
Gran Sasso Science Institute
Tesi: “Modelling and Verification of Multi-Agent Systems via Sequential Emulation”. Link: ResearchGate
2014 – 2016
Laurea Magistrale in Ingegneria Informatica e Automatica
Università degli Studi dell'Aquila
Tesi di laurea: “Progettazione di un sistema reattivo per la navigazione autonoma di un drone in ambienti sconosciuti”. Link: pdf.
2009 – 2014
Laurea in Ingegneria Informatica e Automatica
Università degli Studi dell'Aquila
Tesi di laurea: “Progettazione e realizzazione di una piattaforma per generare e distribuire contenuti editoriali in ambito mobile”. Link: pdf.
2004 – 2009