I am working as a researcher at the Czech Technical Unversity in Prague with Josef Urban.
I am interested in theoretical computer science, especially in interactive theorem proving and machine learning.

Submitted publication
Learning to Prove with Tactics [pdf, bib]
Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
Submitted to Journal of Automated Reasoning.
Major publication
Aligning Concepts across Proof Assistant Libraries [pdf, bib]
Thibault Gauthier, Cezary Kaliszyk
Journal of Symbolic Computation.
Other publications
email: email@thibaultgauthier.fr
Czech Institute of Informatics, Robotics, and Cybernetics
Czech Technical University in Prague
Zikova 4
166 36 Prague 6
Czech Republic