Thomas Ehrhard
Thomas Ehrhard a dirigé les 10 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
Behavioural distances for probabilistic higher-order programs
par Raphaëlle Crubillé sous la direction de Thomas Ehrhard et de Ugo Dal Lago . - Sorbonne Paris Cité
Informatique
Soutenue le 20-06-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
Differential nets experiments and reduction
par Giulio Guerrieri sous la direction de Thomas Ehrhard - Paris 7
Informatique
Soutenue en 2013
Vers une ludique différentielle
par Stéphane Zimmermann sous la direction de Thomas Ehrhard et de Pierre-Louis Curien . - Paris 7
Informatique
Soutenue en 2013
Programmer, calculer et raisonner avec les réseaux de la logique linéaire
par Stéphane Gimenez sous la direction de Thomas Ehrhard - Paris 7
Informatique fondamentale
Soutenue en 2009
Sémantiques de la logique linéaire et temps de calcul
par Daniel de Carvalho sous la direction de Thomas Ehrhard - Aix-Marseille 2
Mathématiques discrètes et fondements de l'informatique
Soutenue en 2007
λ-calcul différentiel et logique classique : interactions calculatoires
par Lionel Vaux sous la direction de Laurent Régnier et de Thomas Ehrhard . - Aix-Marseille 2
Mathématiques
Soutenue en 2007
Une investigation logique des systèmes d'interaction
par Pierre Hyvernat sous la direction de Thomas Ehrhard et de Thierry Coquand . - Aix-Marseille 2
Mathématiques discrètes et fondements de l'informatique
Soutenue en 2005
Hypercohérences et jeux
par Pierre Boudes sous la direction de Thomas Ehrhard - Aix-Marseille 2
Mathématiques et informatique
Soutenue en 2002
Thomas Ehrhard a été président de jury 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
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
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
Réalisabilité classique et effets de bord
par Étienne Miquey sous la direction de Hugo Herbelin et de Alexandre Miquel . - Sorbonne Paris Cité
Informatique. Informatique fondamentale
Soutenue le 17-11-2017
Thomas Ehrhard a été membre de jury des 2 thèses suivantes :
Concurrency, references and linear logic
par Yann Hamdaoui sous la direction de Claudia Faggian et de Benoit Valiron . - Sorbonne Paris Cité
Informatique. Informatique fondamentale
Soutenue le 25-09-2018
Disséquer les sémantiques dénotationnelles : du bien établi H* aux plus récents coeffets quantitatifs
par Flavien Breuvart sous la direction de Antonio Bucciarelli et de Michèle Pagani . - Paris 7
informatique fondamentale
Soutenue en 2015
