Home
Research
Publications
Teaching
Contact
French
How to reach me
Adresse mail
benoit.robillard[at]lri[dot]fr
benoit.robillard[at]ensiie[dot]fr
Adresse physique
Laboratoire de recherche en informatique
Bâtiment 650 Université Paris-Sud 11
91405 Orsay Cedex France
Links
L'assistant à la preuve Coq
ROADEF (Association Française De Recherche Opérationnelle)
Laboratoire
LRI (Laboratoire de Recherche en Informatique)
LRI (GraphComb team)
CEDRIC (Centre d'Etude et De Recherche en Informatique du Cnam)
CEDRIC (équipe CPR)
CEDRIC (équipe OC)
ENSIIE