I'm currently a Phd student in the University of Innsbruck, working with Cezary Kaliszyk.
I'm interested in theoretical computer science, especially in interactive theorem proving and machine learning.

Computational Logic Group,
Institute of Computer Science,
University of Innsbruck.
email: email@thibaultgauthier.fr
Publications (not yet published)
Aligning Concepts across Proof Assistant Libraries [pdf]
Thibault Gauthier, Cezary Kaliszyk
Accepted at Journal of Symbolic Computation.

Learning to Prove with Tactics [pdf]
Thibault Gauthier, Cezary Kaliszyk, Josef Urban, Ramana Kumar, Michael Norrish
Submitted to Journal of automated reasoning.