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

Point d'accès autorisé

Fontaine, Pascal (19..-.... ; informaticien)
Nom à l'état civil

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 :    19XX
Genre : Masculin

Notes

Note publique d'information : 
Informaticien, maître de conférences à l'Université de Lorraine et membre du Laboratoire lorrain de Recherche en Informatique et ses Applications (LORIA - UMR 7503) en 2020

Note publique d'information : 
Directeur d'une thèse en Informatique

Identifiants externes

Identifiant HAL : pascal-fontaine
Identifiant ORCID : 0000-0003-4700-6031

Source

Nouvelles techniques pour l'instanciation et la production des preuves dans SMT / Haniel Barbosa ; sous la direction de Stephan Merz, David Déharbe et Pascal Fontaine. Thèse de doctorat : Informatique : Université de Lorraine : 2017

Information trouvée : Professeur, Université de Lorraine, CNRS, Inria, LORIA en 2017

members.loria.fr/PFontaine/, 2020-04-29

Information trouvée : Informaticien, maître de conférences à l'Université de Lorraine et membre du Laboratoire lorrain de Recherche en Informatique et ses Applications (LORIA - UMR 7503) en 2020

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