Home My Page Projects

User Profile

Personal Information
User Id: 382
Login name: bgregoir
Real Name:
Benjamin Gregoire
Email Address:: Benjamin.Gregoire @nospam@ inria.fr
Address: Projet EVEREST, INRIA Sophia Antipolis, 2004 route des Lucioles,
B.P. 93, 06902 Sophia Antipolis Cedex
Phone: +33 4 92 38 75 59
FAX: +33 4 92 38 50 29
Site Member Since: 2005-10-11 08:30
Diary and Notes
Diary/Note entries: 0

View Diary & Notes

Monitor this Diary

Project Info

This developer is a member of the following projects:


BRUTUS (Senior Developer)

CertiCrypt (Admin)

Coq (Developer)

coqart (Senior Developer)

Coq Contribs (Coq Developer)

Coq dev tools (Senior Developer)

CoqFiniteGroups (Junior Developer)

CoqPrime (Admin)

EasyCrypt (Admin)

EVEREST (Admin)

galapagos (Senior Developer)

haRVey (Junior Developer)

marelledocs (Admin)

MISC (Admin)

mobius (Admin)

Projet ANR DECERT (Senior Developer)

RelLogSynth (Admin)

SCALP (Admin)

synthecrypt (Admin)

zoocrypt (Admin)