Samuel Chassot
EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
1015 Lausanne
Web site: Site web: https://lara.epfl.ch
+41 21 693 93 29
EPFL
>
IC
>
IINFCOM
>
DSLAB
Web site: Site web: https://dslab.epfl.ch/
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