Registered user since Tue 16 Jan 2024
Name:Samuel Chassot
Country:Switzerland
Affiliation:EPFL, LARA
Personal website: https://samuelchassot.github.io
GitHub: https://github.com/samuelchassot
Research interests:Formal methods, Formal verification
Contributions
POPL 2025-profile
View general profile
View general profile