I am a university assistant with the Cyber-Physical Systems research unit at TU Wien, Vienna, Austria.

My research focuses on specification and verification of agent-based models. Software-based systems are becoming pervasive in our everyday life, so you want them to be correct. I am trying to develop languages and tools that could help us with that. More recently I have also done some work in topics related to reactive synthesis.

Other stuff

In 2022-2024 I worked as a post-doc within the D-SynMA project, headquartered in Gothenburg, Sweden.

During 2020–2022 I was a post-doc researcher at team CONVECS, Inria Grenoble Rhône-Alpes.

In 2020, I obtained a PhD in Computer Science at Gran Sasso Science Institute (GSSI).

From December 2019 until October 2020, my research was funded by the SysMA group at IMT Lucca, with a short-term grant on “Verification of Emerging Properties in Collective Adaptive Systems”.

I got my Master’s degree in Computer and Systems Engineering (Ingegneria Informatica e Automatica) at University of L’Aquila.

I am a Scout since 1998 and I’m a member of the Pattuglia Nazionale Informatica (National Information Systems Patrol) of my association.

My interests

- Luca