SPLASH 2024 (series) / Luca Di Stefano
![Luca Di Stefano](https://2024.splashcon.org/getProfileImage/lucadistefano/ed536396-2836-41ef-803e-db2ccbdb4cc2/small.jpg?1712820801000)
Registered user since Sat 24 Dec 2022
Name:Luca Di Stefano
Country:Austria
Affiliation:Technische Universität Wien
Personal website: https://www.lucadistefano.eu
X (Twitter): https://x.com/1306lou
GitHub: https://github.com/lou1306
Research interests:Formal Methods, Software Verification, Model Checking, Reactive Synthesis, Multi-Agent Systems
Contributions
Using general profile