I am a researcher in the EVEREST Team at Sophia Antipolis. Most of my work deals with compilers, formal proofs (in particular proof of compilers), proof carrying code, certification of cryptographic algorithms, proof assistants (I am one of the implementers of the Coq tool), type theory and proof by reflexion.
Publications
Students
Projects
- Mobius (IP FET)
- INRIA-Microsoft Research Joint Lab
- ANR Scalp : Security of Cryptographic ALgorithms with Probabilities
- ANR DeCert
Contact
| E-mail: | Benjamin.Gregoire@sophia.inria.fr |
| Snail mail: | Projet EVEREST, 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) |