Thibault Gauthier   

I'm currently a Phd student in the University of Innsbruck, working together with Cezary Kaliszyk. I'm interested in theoretical computer science, especially in theorem proving and higher order logics.

Affiliation
Computational Logic Group,
Institute of Computer Science,
University of Innsbruck.
Contact
email: thibault.gauthier@uibk.ac.at