Simon Guilloud
EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
CH-1015 Lausanne
Web site: Site web: https://lara.epfl.ch
AGEPoly - Dancesquare
P.a. AGEPoly
Esplanade EPFL
Station 9
CH-1015 Lausanne
Web site: Site web: https://dancesquare.epfl.ch/
Domaines de compétences
I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor Kunčak.
My domain of research are proof assistants and algorithms for logic-related problems.
My domain of research are proof assistants and algorithms for logic-related problems.