Nicolas Tabareau is a junior researcher at Inria, head of the Gallinette team (http://gallinette.inria.fr/). He conducts research on programming languages and proof assistants in order to provide better tools for proofs formalization both to computer scientists and mathematicians.