Nicolas Tabareau

http://tabareau.fr [email protected]

Inria France Nicolas Tabareau is a senior researcher at Inria, leading the Gallinette team in Nantes, working on type theory and the development of the Rocq Prover.