I am a researcher in the Marelle Team at Sophia Antipolis. Most of my work deals with compilers, formal proofs, certification of cryptographic algorithms, proof assistants, type theory and proof by reflexion.

Publications

Students

Former Student

Projects

Finished Projects

Contact

E-mail: Benjamin.Gregoire@sophia.inria.fr
Snail mail:Projet Marelle, INRIA Sophia Antipolis,
2004 route des Lucioles, B.P. 93,
06902 Sophia Antipolis Cedex
Phone:04 92 38 75 59 (from France), +33 4 92 38 75 59 (from abroad)
Fax:04 92 38 50 29 (from France), +33 4 92 38 50 29 (from abroad)