Registered user since Sat 24 Dec 2022
Name:Luca Di Stefano
Country:Italy
Affiliation:University of Gothenburg, Sweden
Personal website: https://www.cse.chalmers.se/~lucad/
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
POPL 2023-profile
View general profile
View general profile