SPLASH 2024 (series) / Marco Milanese
![Marco Milanese](https://2024.splashcon.org/getProfileImage/marcomilanese1/d8eb9abb-47de-428f-a98d-29717844c7a7/small.jpg?1711545046000)
Registered user since Tue 31 Oct 2023
Name:Marco Milanese
Country:France
Affiliation:Sorbonne University
Personal website: https://marmila.eu
Research interests:Bug Catching, Formal Methods, Abstract Interpretation, Incorrectness
Contributions
2024
Static Analysis Symposium
Using general profile