paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Contrôler dans Paprika
Contrôle Paprika
Explorer data.idref
data.idref
Copier ce élément EAD
Élément EAD
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 257287515Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/257287515/idCopier cet URI
Notice de type Personne

Point d'accès autorisé

Boulmé, Sylvain (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,anglais
Pays : France
Date de naissance :    19XX
Genre : Masculin

Notes

Note publique d'information : 
Informaticien. Maître de conférences HDR, membre du laboratoire VERIMAG (UMR 5104), Université Grenoble Alpes (2026)

Identifiants externes

Identifiant ORCID : 0000-0002-9501-9606
Identifiant HAL : sylvain-boulme
Identifiant VIAF : http://viaf.org/viaf/81163409270900092731
Identifiant Wikidata : Q130887206
Identifiant HAL : sylvain-boulme
Identifiant ORCID : 0000-0002-9501-9606
Identifiant ZBMath : boulme.sylvain
Identifiant SCOPUS : 56410909300

Source

Programmation impérative par raffinements avec l'assistant de preuve Coq / Boubacar Demba Sall ; sous la direction de Emmanuel Chailloux. Thèse de doctorat : Informatique : Sorbonne université : 2020
https://www-verimag.imag.fr/~boulme/, 2026-07-21

Information trouvée : Informaticien. Maître de conférences HDR, membre du laboratoire VERIMAG (UMR 5104), Université Grenoble Alpes (2026)

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