Simon Guilloud
EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
CH-1015 Lausanne
+41 21 693 94 45
Office:
BC 354
EPFL › IC › IINFCOM › LARA
Site web: https://lara.epfl.ch
Expertise
I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.
My main domains of research are proof assistants and algorithms for logic-related problems.
My main domains of research are proof assistants and algorithms for logic-related problems.
Expertise
I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.
My main domains of research are proof assistants and algorithms for logic-related problems.
My main domains of research are proof assistants and algorithms for logic-related problems.