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 : 152622276Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/152622276/idCopier cet URI
Notice de type Personne

Point d'accès autorisé

Demangeon, Romain (1984-....)

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

Notes

Note publique d'information : 
Titulaire d'un doctorat en informatique de l'École normale supérieure de Lyon, en cotutelle avec l'Universita di Bologna

Note publique d'information : 
Enseignant-chercheur à Sorbonne Université, Laboratoire LIP6 (laboratoire de recherche en informatique). Il s'intéresse aux méthodes formelles, à l'analyse statique et aux systèmes de types pour la validation des programmes concurrents.

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/199008618
Identifiant SCOPUS : 23990008400
Identifiant ISNI : 0000000139669519

Source

Terminaison des systèmes concurrents / Romain Demangeon [thèse], 2010
Éléments de programmation : de l'algorithme au programme Python / Frédéric Peschanski, Romain Demangeon, 2020

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