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

Point d'accès autorisé

Pichardie, David (1977-....)

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

Notes

Note publique d'information : 
Informaticien. Professeur, membre de l'équipe Software certification with semantic analysis (CELTIQUE), Institut de recherche en informatique et systèmes aléatoires (IRISA, UMR 6074), École normale supérieure, Rennes (en 2019)

Note publique d'information : 
Titulaire d'un doctorat en informatique à Rennes 1 en 2005

Source

A PCC Architecture based on Certified Abstract Interpretation / Frédéric Besson, 2005

Interprétation abstraite en logique intuitionniste : extraction d'analyseurs Java certifiés / David Pichardie, 2005

http://id.loc.gov/authorities/names/nb2013016154, 2019-11-07

Information trouvée : Pichardie, David

http://people.irisa.fr/David.Pichardie/, 2019-11-07

Information trouvée : Informaticien. Professeur, membre de l'équipe Software certification with semantic analysis (CELTIQUE), Institut de recherche en informatique et systèmes aléatoires (IRISA, UMR 6074), École normale supérieure, Rennes
Source consultée en vain : http://catalogue.bnf.fr, 2019-11-07

Identifiants externes

Identifiant HAL : david-pichardie
Identifiant VIAF : http://viaf.org/viaf/191780592
Identifiant ORCID : 0000-0002-2504-1760
Identifiant ISNI : 0000000356967766

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 : ...