Delahaye, David (1971-....)

Delahaye, David (1971-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 082035970

URI de l'entité : http://www.idref.fr/082035970/id

Notice de type Personne

Point d'accès autorisé

Delahaye, David (1971-....)

Sur le web

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)

Identifiants externes

Identifiant HAL : david-delahaye

Identifiant ORCID : 0000-0003-4779-1359

Identifiant VIAF : http://viaf.org/viaf/218315691

Identifiant SCOPUS : 8224781000

Identifiant ISNI : 0000000359476903

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)

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