Work experience
March 2024 – current
TU Wien (Vienna University of Technology)
University Assistant (Post-doc)
Researcher in the Cyber-Physical Systems unit at the Institute for Informatics.
May 2022 – February 2024
University of Gothenburg, Gothenburg, Sweden
Post-doc
Researcher in the Formal Methods unit at the Department of Computer Science and Engineering, working on project D-SynMA (Distributed Synthesis from Single to Multiple Agents).
November 2020 – April 2022
Inria Grenoble Rhône-Alpes, Grenoble, France
Post-doc
Researcher at team CONVECS (Construction of Verified Concurrent Systems).
December 2019 – October 2020
IMT School for Advanced Studies, Lucca, Italy
Research Project Grant on "Verification of Emerging Properties in Collective Adaptive Systems" within the SysMA (System Modelling and Analysis) research unit.
March 2019 – July 2019
Inria Grenoble Rhône-Alpes, Grenoble, France
Visiting PhD Student
Visiting at team CONVECS (Construction of Verified Concurrent Systems). Modeling and verification of concurrent (multi-agent) systems.
- CADP verification toolbox
- LNT process calculus
June 2015 – February 2016
Thales Alenia Space Italia, L'Aquila, Italy
Internship (Workshop Planning and Lines Industrialization)
Maintenance of legacy systems involved in production traceability; data and business logic migration to SQL Server; maintenance and development of the in-house client application.
- Office (Excel, Access) and VBA
- Microsoft SQL Server and ODBC
January 2015 – current
Associazione Italiana Guide e Scout d’Europa Cattolici
Volunteer (National IT Patrol)
Collaborator in the development of the association website. Programmer for in-house web applications.
- ASP.Net Web API
- PHP
- Wordpress
- Javascript + JQuery
January – March 2015
Aubay Research & Technologies SpA, Carsoli, Italy
Internship
Design of a digital publishing platform with a cross-platform mobile client (Android, Windows Phone).
- ASP.Net Web API
- C#
- Windows Communication Foundation
- Java and Android framework
- Xamarin
Education
2016 – 2020
PhD in Computer Science
Gran Sasso Science Institute
Thesis: “Modelling and Verification of Multi-Agent Systems via Sequential Emulation”. Link: ResearchGate
2014 – 2016
Master’s Degree in Computer and Systems Engineering cum laude
University of L'Aquila
Ingegneria Informatica e Automatica. Master’s thesis topic: Design of a reactive obstacle avoidance system for UAVs.
2009 – 2014
Bachelor’s Degree in Computer and Systems Engineering
University of L'Aquila
Ingegneria Informatica e Automatica. Bachelor’s thesis topic: Design and implementation of a digital publishing platform, featuring a cross-platform mobile client.
2004 – 2009