Samuel Vivien

Registered user since Fri 7 Apr 2023

Name:Samuel Vivien
Country:France
Affiliation:INRIA & École Normale Supérieure | Université PSL
Research interests:Compilers & Formal methods

Contributions