SPLASH 2023 (series) / Jérôme Boillot
![Jérôme Boillot](https://2023.splashcon.org/getProfileImage/jeromeboillot/d66c8be0-0f60-4d11-a4e3-d5e5b9c62be5/small.jpg?1711461539000)
Registered user since Sun 7 May 2023
Name:Jérôme Boillot
Country:France
Affiliation:École Normale Supérieure, PSL University & INRIA
Personal website: https://jerome-boillot.com/
GitHub: https://github.com/jboillot
Research interests:Static Analysis, Abstract Interpretation
Contributions
SPLASH 2023-profile
View general profile
View general profile