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

Point d'accès autorisé

Mimram, Samuel (1983-....)

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 :    1983
Genre : Masculin

Notes

Note publique d'information : 
Ph.D. (Université Paris Diderot - Paris 7, 2008), MSC-03 (Logique et fondements mathématiques)

Note publique d'information : 
Titulaire d'une thèse de doctorat en Informatique à l'Université de Paris 7, 2008. Rapporteur pour une thèse en Mathématiques et informatique soutenue à Grenoble Alpes en 2018. Professeur au Laboratoire d'informatique de l'École polytechnique (en 2019)

Identifiants externes

Identifiant HAL : smimram
Identifiant VIAF : http://viaf.org/viaf/210261778
Identifiant ORCID : 0000-0002-0767-2569
Identifiant Wikidata : Q102349384
Identifiant ZBMath : mimram.samuel
Identifiant ISNI : 000000035884732X

Source

Catégories et diagrammes de cordes pour les jeux concurrents / Clovis Eberhart ; sous la direction de Tom Hirschowitz. Thèse de doctorat : Mathématiques informatique : Grenoble Alpes : 2018

Information trouvée : Maître de conférences au Laboratoire d'informatique (LIX) de l'Ecole polytechnique (France)

Internet, https://mathgenealogy.org/id.php?id=133871, 2022-12-12

Information trouvée : Samuel Mimram, Ph.D. (Université Paris Diderot - Paris 7, 2008), MSC-03 (Logique et fondements mathématiques)

Program : proof / Samuel Mimram, [2020?]

Information trouvée : publie aussi en anglais

Sémantique des jeux asynchrones et réécriture 2-dimensionnelle/ Samuel Mimram; sous la direction de Paul-André Melliès (thèse)

http://www.lix.polytechnique.fr/Labo/Samuel.Mimram//docs/mimram_cv.pdf, 2019-11-28

Information trouvée : Professeur au Laboratoire d'informatique de l'École polytechnique (en 2019)

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