Registered user since Fri 16 Sep 2022
Name:Nicolas Manini
Country:Spain
Affiliation:IMDEA Software Institute
Personal website: https://nmanini.github.io
X (Twitter): https://x.com/NicolasManini
GitHub: https://github.com/nmanini
Research interests:Automata Theory, Formal Verification, Abstract Interpretation
Contributions
FM 2026-profile
View general profile
View general profile