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

Point d'accès autorisé

Melquiond, Guillaume (19..-....)

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

Notes

Note publique d'information : 
Auteur d'une thèse en informatique soutenue à l'ENS de Lyon en 2006

Note publique d'information : 
Directeur de recherche à l'INRIA (en 2023)

Identifiants externes

Identifiant HAL : guillaume-melquiond
Identifiant VIAF : http://viaf.org/viaf/172395076
Identifiant ORCID : 0000-0002-6697-1809

Source

De l'arithmétique d'intervalles à la certification de programmes / Guillaume Melquiond, sous la dir. de Marc Daumas

Stratégies pour la réduction forte / Antoine Lanco ; sous la direction de Guillaume Melquiond ; sous le co-encadrement de Thibaut Balabonski. Thèse de doctorat : Informatique : université Paris-Saclay :2023

Information trouvée : Directeur de recherche à l'INRIA

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