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  Calcul de séquent  Catégories  Catégories de Gray  Catégories monoidales  Catégories strictes  Catégories supérieures  Cohérence  Cohérence  Combinade  Complétion de Knuth–Bendix  Complétion de Squier  Concurrence  Construction de Baez-Dolan  Diagrammes de compositions  Diagrammes de cordes  Diagrammes de recollement  Distributions, Théorie des  Développement de Taylor  Espaces vectoriels  Frobenius, Algèbres de  Graphe de flots de signaux  Homologie  Homotopie  Hopf, Algèbres de  K-théorie  Lambda-calcul  Langages concurrents  Langages de programmation -- Syntaxe  Langages de programmation  Langages formels  Logique de seuil  Logique informatique  Logique linéaire  Logique linéaire différentielle  Logique mathématique  Logique monadique du second-ordre  Logique épistémique  Loi distributive  Modèle des chemins de Littelmann  Modèles bicategoriels de la logique linéaire  Modèles mathématiques  Monade polynomiale  Monoïdes  Monoïdes plaxiques  Oprérade  Opétope  PROP  Parallélisme  Polygraphes  Probabilités  Problème des syzygies  Problème du mot  Protocoles tolérants aux pannes  Présentations cohérentes  Présentations convergentes  Réalisation Géométrique  Réseaux de preuve  Réécriture  Réécriture, Systèmes de  Stratégies innocentes  Syzygies  Sémantique  Sémantique dénotationnelle  Sémantique opérationnelle  Sémantique selon la théorie des jeux  Sémantiques de jeux  Sémantiques dénotationnelles  Séquentialisation  Tableaux de Young  Théorie de la démonstration  Théorie des catégories  Théorie des types  Théorie du contrôle  Théorie homotopique des types  Topologie  Topologie combinatoire  Traitement réparti  Ω-catégories  

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


Samuel Mimram dirige actuellement la thèse suivante :

Informatique, données, IA
En préparation depuis le 01-09-2020
Thèse en préparation


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


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

Mathématiques
Soutenue le 08-12-2016
Thèse soutenue

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

Mathématiques. Logique et fondements de l'informatique
Soutenue le 03-12-2019
Thèse soutenue