paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne : 089057058Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Grégoire, Benjamin

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : français
Pays : France

Notes

Note publique d'information : 
Auteur d'une thèse de doctorat en Informatique fondamentale soutenue en 2003 à l'Université de Paris 7

Note publique d'information : 
Chargé de recherches à l'INRIA de Nice-Sophia Antipolis

Source

Compilation de termes de preuves : un (nouveau) mariage entre coq et OCaml / Benjamin Grégoire ; sous la direction de Xavier Leroy, 2003

Vérification semi-automatique de primitives cryptographiques / par Sylvain Heraud ; sous la direction de Benjamin Grégoire et d'Yves Bertot. - 2012 [Thèse, Nice]

Autres identifiants

Identifiant HAL : benjamin-gregoire
Identifiant VIAF : http://viaf.org/viaf/204855076

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

... Références liées : ...