Mimram, Samuel (1983-....)

Mimram, Samuel (1983-....)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 130630039

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

Notice de type Personne

Point d'accès autorisé

Mimram, Samuel (1983-....)

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 : 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 SCOPUS : 23398129300

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 : ...