Samuel Chassot
EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
1015 Lausanne
Web site: Site web: https://lara.epfl.ch
EPFL > VPA-AVP-PGE > AVP-PGE-EDOC > EDIC-GE
Web site: Site web: https://go.epfl.ch/phd-edic
Biographie
I am a PhD student under the supervision of Viktor Kunčak, in the LARA group at EPFL. My current research interests are in the area of formal verification. I work on and with Stainless, a verifier for Scala. One of my recent project was to formally verify a mutable hash table from the Scala standard library.Formation
MSc Computer Science
EPFL
2016 - 2022