Daniel Hirschkoff
Daniel Hirschkoff dirige actuellement la thèse suivante :
Process-based semantics for higher-order languages
par Enguerrand Prebet sous la direction de Daniel Hirschkoff et de Davide Sangiorgi . - Lyon
Informatique
En préparation depuis le 01-10-2019
Daniel Hirschkoff a dirigé les 6 thèses suivantes :
Unique solution techniques for processes and functions
par Adrien Durier sous la direction de Daniel Hirschkoff et de Davide Sangiorgi . - Lyon
Informatique
Soutenue le 11-06-2020
Interacting Hopf Algebras- the Theory of Linear Systems
par Fabio Zanasi sous la direction de Daniel Hirschkoff - Lyon, École normale supérieure
Informatique
Soutenue le 05-10-2015
Higher-order languages : dualities and bisimulation enhancements
par Jean-Marie Madiot sous la direction de Daniel Hirschkoff et de Davide Sangiorgi . - Lyon, École normale supérieure
Informatique
Soutenue le 31-03-2015
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
Terminaison des systèmes concurrents
par Romain Demangeon sous la direction de Daniel Hirschkoff et de Davide Sangiorgi . - Lyon, Ecole normale supérieure
Informatique
Soutenue en 2010
Techniques modulo pour les bisimulations faibles
par Damien Pous sous la direction de Daniel Hirschkoff et de Pierre Lescanne . - Lyon, École normale supérieure (sciences)
Informatique
Soutenue en 2008
Daniel Hirschkoff a été membre de jury de la thèse suivante :
Verification of a Concurrent Garbage Collector
par Yannick Zakowski sous la direction de David Cachera et de David Pichardie . - Rennes, École normale supérieure
Informatique
Soutenue le 19-12-2017
