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/

EPFL > ETU > EDOC > EDIC

vCard
Données administratives

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.

Publications

Autres publications