Analyse de programmes  Appel par valeur  Bicatégories  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  Homotopie  Jeu  Lambda-calcul  Lambda-graphes  Langages concurrents  Langages de programmation -- Syntaxe  Langages de programmation -- Sémantique  Langages de programmation  Logique de seuil  Logique linéaire  Logique linéaire différentielle  Logique mathématique  Sémantique  Sémantique dénotationnelle  Sémantique selon la théorie des jeux  Théorie de la démonstration  Théorie des types  

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

Modules mixins, modules et récursion étendue en appel par valeur

par Tom Hirschowitz sous la direction de Xavier Leroy - Paris 7

Informatique

Soutenue en 2003

Tom Hirschowitz dirige actuellement la thèse suivante :

Approches mathématiques de l'analyse de programmes

par Yoann Barszezak sous la direction de Tom Hirschowitz - Chambéry

Mathématiques et Informatique

En préparation depuis le 01-09-2021

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

Signatures and models for syntax and operational semantics in the presence of variable binding

par Ambroise Lafont sous la direction de Nicolas Tabareau et de Tom Hirschowitz . - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

Informatique et applications

Soutenue le 02-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

Jeux graphiques et théorie de la démonstration

par Florian Hatat sous la direction de Laurent Vuillon et de Tom Hirschowitz . - Grenoble

Mathématiques et Informatique

Soutenue le 23-10-2013

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

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

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

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

Factorisation des régions cubiques et application à la concurrence

par Nicolas Ninin sous la direction de Pierre-Louis Curien - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 11-12-2017

Inductive, Functional and Non-Linear Types in Ludics

par Alice Pavaux sous la direction de Christophe Fouqueré - Sorbonne Paris Cité

Informatique

Soutenue le 01-12-2017

Tom Hirschowitz a été membre de jury des 3 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

Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus

par Domenico Ruoppolo sous la direction de Stefano Guerrini - Sorbonne Paris Cité

Informatique

Soutenue le 13-12-2016

Théories symétriques monoïdales closes, applications au lambda-calcul et aux bigraphes

par Aurélien Pardon sous la direction de Daniel Hirschkoff - Lyon, École normale supérieure

Informatique

Soutenue le 07-04-2011