Samuel Chassot
EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
1015 Lausanne
Web site: Web site: https://lara.epfl.ch
+41 21 693 93 29
EPFL
>
IC
>
IINFCOM
>
DSLAB
Web site: Web site: https://dslab.epfl.ch/
Web site: Web site: https://go.epfl.ch/phd-edic
Biography
I am a PhD candidate in LARA at EPFL, under the guidance of Prof. Viktor Kunčak. My research focuses on Formal Methods and Software Verification. One of my recent work was to formally verify a mutable hash table from the Scala standard library.Before starting my PhD, I obtained an MSc in Computer Science from EPFL, Switzerland.
Education
MSc Computer Science
EPFL
2016 - 2022