Boulmé, Sylvain (19..-....)

Boulmé, Sylvain (19..-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 257287515

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

Notice de type Personne

Point d'accès autorisé

Boulmé, Sylvain (19..-....)

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

Pays : France

Date de naissance : 19XX

Genre : Masculin

Notes

Note publique d'information :

Maître de conférences en Informatique à l'Université Grenoble-Alpes, France (en 2020)

Note publique d'information :

Membre du jury d'une thèse d'Informatique soutenue à Sorbonne université en 2020

Identifiants externes

Identifiant ORCID : 0000-0002-9501-9606

Identifiant HAL : sylvain-boulme

Identifiant VIAF : http://viaf.org/viaf/81163409270900092731

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

http://www-verimag.imag.fr, le 2021-09-13

Information trouvée : Maître de conférences en Informatique à l'Université Grenoble-Alpes

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