![Samuel Vivien](https://icfp24.sigplan.org/getProfileImage/samuelvivien/408a6364-5ba3-4d71-995b-334c0ea92900/small.jpg?1712088386000)
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
Using general profile
Registered user since Fri 7 Apr 2023
Contributions