paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 082035970Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Delahaye, David (1971-....)

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 : Francais,Anglais
Pays : France
Date de naissance :    1971
Genre : Masculin

Notes

Note publique d'information : 
Auteur d'une thèse de doctorat en Informatique fondamentale à l'Université de Paris 6 (en 2001)

Note publique d'information : 
Professeur à l'Université de Montpellier et membre du Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM - UMR 5506) (en 2020)

Source

A formal approach to automate the evolution management in component-based software development processes / Abderrahman Mokni ; sous la direction de Marianne Huchard. Thèse de doctorat : Informatique : Montpellier : 2015

Information trouvée : Président de thèse (en 2015)

Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve : une étude dans le cadre du système Coq / David Delahaye ; sous la dir. de Christine Paulin-Mohring, Benjamin Werner. Thèse doctorat : Informatique fondamentale : Paris 6 : 2001

www.lirmm.fr/~delahaye/, 2020-04-28

Information trouvée : Professeur à l'Université de Montpellier et membre du Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM - UMR 5506) (en 2020)

Autres identifiants

Identifiant de notice Sudoc fusionnée : 233250573
Identifiant HAL : david-delahaye
Identifiant ORCID : 0000-0003-4779-1359
Identifiant VIAF : http://viaf.org/viaf/218315691
Identifiant ISNI : 0000000359476903

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

Equivalent dans un autre référentiel

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