conf.researchr.org / Samuel Vivien
Registered user since Fri 7 Apr 2023
Name:Samuel Vivien
Country:France
Affiliation:INRIA & École Normale Supérieure | Université PSL
GitHub: https://github.com/samsa1
Research interests:Compilers & Formal methods
Contributions