'interopérabilité'  Analyse de programmes  Appel par valeur  Bigraphes  Catégorie  Catégories  Catégories de Gray  Catégories strictes  Catégories supérieures  Catégories symétriques monoïdales closes  Compilation  Concurrence  Cube  Diagrammes de recollement  Distributions, Théorie des  Equivalence observationnelle  Espaces vectoriels  Factorisation  Foncteurs polynomiaux  Graphes, Théorie des  Jeu  Jeux opérationnels  Lambda-calcul  Lambda-graphes  Langages concurrents  Langages de programmation -- Syntaxe  Langages de programmation -- Sémantique  Langages de programmation  Logique de seuil  Logique linéaire différentielle  Logique mathématique  Modularité  Modules mixins  Modèle λ-König  Modèles bicategoriels de la logique linéaire  Modèles mathématiques  Modèles relationnels probabilistes  Monades  Point fixe, Théorème du  Problème du mot  Programmation  Programmation parallèle  Préfaisceaux  Récursion  Région Cubique  Réseaux de preuves  Réécriture  Semantique relationnelle  Signature  Stratégies innocentes  Syntaxe  Sémantique  Sémantique catégorique  Sémantique dénotationnelle  Sémantique opérationnelle  Sémantique selon la théorie des jeux  Sémantiques de jeux  Sémantiques dénotationnelles  Théorie de la démonstration  Théorie des types  Théories de Lawvere  Théories non linéaires  Théoris Morris  Topologie  Typage  Types de données inductifs  Λ-calcul non-typé de Church  

Tom Hirschowitz a rédigé la thèse suivante :


Tom Hirschowitz dirige actuellement les 2 thèses suivantes :

Mathématiques et Informatique
En préparation depuis le 01-10-2021
Thèse en préparation

Mathématiques et Informatique
En préparation depuis le 01-09-2021
Thèse en préparation


Tom Hirschowitz a dirigé les 3 thèses suivantes :

Mathématiques et Informatique
Soutenue le 23-10-2013
Thèse soutenue

Tom Hirschowitz a été rapporteur des 5 thèses suivantes :

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

Tom Hirschowitz a été membre de jury des 2 thèses suivantes :