Simon Guilloud

EPFL IC IINFCOM LARA
INR 318 (Bâtiment INR)
Station 14
1015 Lausanne

Web site:  Web site:  https://lara.epfl.ch

EPFL > ETU > EDOC > EDIC

vCard
Administrative data

Fields of expertise


My main domains of research are proof assistants and algorithms for logic-related problems.
I also have interests in various areas of computer science and mathematics and their applicability in proof systems such as probabilistic proofs, type theory, quantum computing and more.

Publications

Infoscience publications