Algorithmes d’insertion de Lecouvey  Algorithmes d’insertion de Schensted  Algèbre  Algèbre de Frobenius  Algèbre de Hopf  Algèbre linéaire  Algèbre opétopique  Appel-par-pousse-valeur  Arbres  Architecture des réseaux d'ordinateurs  Bases cristallines  Bicatégories  Calcul de séquent  Catégories  Catégories de Gray  Catégories de modèle  Catégories monoidales  Catégories strictes  Catégories supérieures  Cohérence  Cohérence  Concurrence  Homotopie  Langages de programmation  Logique de seuil  Logique linéaire  Polygraphes  Problème du mot  Réécriture  Sémantique  Sémantique dénotationnelle  Sémantique selon la théorie des jeux  Théorie de la démonstration  Théorie des catégories  Théorie des types  Topologie  

Samuel Mimram a rédigé la thèse suivante :

Sémantique des jeux asynchrones et réécriture 2-dimensionnelle

par Samuel Mimram sous la direction de Paul-André Melliès - Paris 7

Informatique

Soutenue en 2008

Samuel Mimram dirige actuellement les 3 thèses suivantes :

Méthodes par réecriture en théorie des types homotopiques

par Emile Oleon sous la direction de Samuel Mimram - Institut polytechnique de Paris

Informatique, données, IA

En préparation depuis le 01-10-2022

Modèles polynomiaux de la logique linéaire dans les catégories supérieures

par Elies Harington sous la direction de Samuel Mimram - Institut polytechnique de Paris

Informatique, données, IA

En préparation depuis le 01-09-2022

Applications informatiques de propriétés géométriques et algébriques des modèles de la concurrence

par Aly-bora Ulusoy sous la direction de Samuel Mimram et de Emmanuel Régis Lionel Haucourt . - Institut polytechnique de Paris

Informatique, données, IA

En préparation depuis le 01-09-2020

Samuel Mimram a dirigé les 4 thèses suivantes :

Descriptions calculatoires de catégories supérieures

par Simon Forest sous la direction de Samuel Mimram et de Yves Guiraud . - Institut polytechnique de Paris

Informatique

Soutenue le 08-01-2021

A type theoretic approach to weak w-categories and related higher structures

par Thibaut Benjamin sous la direction de Samuel Mimram - Institut polytechnique de Paris

Informatique, données, IA

Soutenue le 05-11-2020

Opetopes : syntactic and algebraic aspects

par Cédric Ho Thanh sous la direction de Pierre-Louis Curien et de Samuel Mimram . - Université Paris Cité

Mathématiques. Algèbre

Soutenue le 15-10-2020

Sémantique géométrique pour la calculabilité asynchrone

par Jérémy Ledent sous la direction de Éric Goubault et de Samuel Mimram . - Université Paris-Saclay (ComUE)

Mathématiques et Informatique

Soutenue le 12-12-2019

Samuel Mimram a été rapporteur des 4 thèses suivantes :

Une géométrie de calcul : Réseaux de preuve, appel-par-pousse-valeur et topologie du consensus

par Jules Chouquet sous la direction de Christine Tasson et de Lionel Vaux . - Université Paris Cité

Mathématiques. Logique et fondements de l'informatique

Soutenue le 06-12-2019

Catégories et diagrammes de cordes pour les jeux concurrents

par Clovis Eberhart sous la direction de Tom Hirschowitz - Université Grenoble Alpes (ComUE)

Mathématiques et informatique

Soutenue le 22-06-2018

String diagram rewriting : applications in category and proof theory

par Matteo Acclavio sous la direction de Yves Lafont - Aix-Marseille

Mathématiques

Soutenue le 14-12-2016

Study of plactic monoids by rewriting methods

par Nohra Hage sous la direction de Stéphane Gaussent et de Philippe Malbos . - Lyon

Mathématiques

Soutenue le 08-12-2016

Samuel Mimram a été membre de jury des 6 thèses suivantes :

From dependent type theory to higher algebraic structures

par Chaitanya Leena Subramaniam sous la direction de Paul-André Melliès - Université Paris Cité

Informatique

Soutenue le 28-09-2021

Bicategorical orthogonality constructions for linear logic

par Zeinab Galal sous la direction de Thomas Ehrhard et de Christine Tasson . - Université Paris Cité

Mathématiques. Logique et fondements de l'informatique

Soutenue le 27-09-2021

Homology of strict ω-categories

par Léonard Guetta sous la direction de François Métayer et de Clemens Berger . - Université Paris Cité

Mathématiques

Soutenue le 28-01-2021

Categorical combinatorics for non-déterministic innocent strategies

par Clément Jacq sous la direction de Paul-André Melliès - Université Paris Cité

Mathématiques. Logique et fondements de l'informatique

Soutenue le 03-12-2019

Reflexive spaces of smooth functions : a logical account of linear partial differential equations

par Marie Kerjean sous la direction de Thomas Ehrhard - Sorbonne Paris Cité

Informatique. Informatique fondamentale

Soutenue le 19-10-2018

Interacting Hopf Algebras- the Theory of Linear Systems

par Fabio Zanasi sous la direction de Daniel Hirschkoff - Lyon, École normale supérieure

Informatique

Soutenue le 05-10-2015