
Registered user since Sun 7 May 2023
Name:Jérôme Boillot
Country:France
Affiliation:Thales Research & Technology
Personal website: https://jerome-boillot.com/
GitHub: https://github.com/jboillot
Research interests:Static Analysis, Abstract Interpretation, Operating System
Contributions
Using general profile