Daniel Hirschkoff
Daniel Hirschkoff a dirigé les 7 thèses suivantes :
Typed Behavioural Equivalences in the Pi-Calculus
par Enguerrand Prebet sous la direction de Daniel Hirschkoff et de Davide Sangiorgi . - Lyon, École normale supérieure
Informatique
Soutenue le 27-09-2022
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 . - École normale supérieure (Lyon ; 1987-2009)
Informatique
Soutenue en 2008
Daniel Hirschkoff a été membre de jury des 2 thèses suivantes :
Skeletal semantics transformations
par Guillaume Ambal sous la direction de Alan Schmitt - Rennes 1
Informatique
Soutenue le 19-10-2022
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
