Thomas Traversié About me      Publications      Talks      Teaching
Me

I am a PhD student under the supervision of Marc Aiguier, Gilles Dowek and Olivier Hermant, in the Arcade team at MICS laboratory and in the Deducteam at Laboratoire Méthodes Formelles.

Before that, I was part of the research curriculum of CentraleSupélec, under the supervision of Valentin Blot and Gilles Dowek, at Laboratoire Méthodes Formelles. I implemented an encoding of set theory in the Lambdapi proof assistant. Working with Théo Winterhalter, I studied the replacement of rewrite rules by axioms inside the λΠ-calculus modulo theory.

        

Research interests

Publications

Research papers

Theses

Talks

Teaching



Last update: .