conf.researchr.org / Benjamin Bonneau
Registered user since Thu 25 Jan 2024
Name:Benjamin Bonneau
Bio:
phd student at Verimag
Country:France
Affiliation:Verimag
GitHub: https://github.com/857b
Research interests:Compilation, Program verification
Contributions