Fontaine, Pascal (19..-.... ; informaticien)

Fontaine, Pascal (19..-.... ; informaticien)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 204082471

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

Notice de type Personne

Point d'accès autorisé

Fontaine, Pascal (19..-.... ; informaticien)

Nom à l'état civil

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 : 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 VIAF : http://viaf.org/viaf/121150746954716300590

Identifiant ORCID : 0000-0003-4700-6031

Identifiant SCOPUS : 55883567700

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