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

Point d'accès autorisé

Monniaux, David (1976-....)

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 :    1976
Genre : Masculin

Notes

Note publique d'information : 
Informaticien. Directeur de recherche CNRS, co-responsable de l'équipe de recherche Proofs and code analysis for safety and security (PACSS), VERIMAG (UMR 5104), Université de Grenoble Alpes, Saint Martin d'Hères, Isère (en 2020)

Note publique d'information : 
Docteur en informatique(Paris 9, 2001)

Identifiants externes

Identifiant HAL : david-monniaux
Identifiant ORCID : 0000-0001-7671-6126
Identifiant Wikidata : Q33241938
Identifiant VIAF : http://viaf.org/viaf/199874833
Identifiant ISNI : 0000000357675490

Source

Analyse de programmes probabilistes par interprétation abstraite/David Monniaux, 2001 [thèse de doctorat]

Formalisations en Coq pour la décision de problèmes en géométrie algébrique réelle / Boris Djalal ; sous la direction d'Yves Bertot. Thèse de doctorat : Informatique : Côte d'Azur : 2018

Information trouvée : rapporteur de thèse, membre du jury

http://id.loc.gov/authorities/names/nb2017004632, 2020-03-09

Information trouvée : Monniaux, David

http://www-verimag.imag.fr/~monniaux/, 2020-03-09

Information trouvée : Informaticien. Directeur de recherche CNRS, co-responsable de l'équipe de recherche Proofs and code analysis for safety and security (PACSS), VERIMAG (UMR 5104), Université de Grenoble Alpes, Saint Martin d'Hères, Isère

https://catalogue.bnf.fr/ark:/12148/cb16709010p, 2020-03-09

Information trouvée : Monniaux, David

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