Thomas Ehrhard
Thomas Ehrhard a dirigé les 7 thèses suivantes :
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
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
Differential nets experiments and reduction
par Giulio Guerrieri sous la direction de Thomas Ehrhard - 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
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
Thomas Ehrhard a été président de jury des 3 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é de Paris (2019-....)
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é de Paris (2019-....)
Mathématiques. Logique et fondements de l'informatique
Soutenue le 03-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
