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 : français,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

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