Didier Caucal
Ph.D. Université Paris Diderot - Paris 7 1985
Dissertation:
Décidabilité de l'équivalence forte des schémas récursifs de programmes monadiques
Advisor 1: Laurent Kott
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Morvan, Christophe | Université de Rennes 1 | 2001 | 1 |
| Urvoy, Tanguy | Institut de recherche en informatique et systèmes aléatoires | 2002 | 1 |
| Cachat, Thierry | Rheinisch-Westfälische Technische Hochschule Aachen | 2003 | |
| Colcombet, Thomas | Université de Rennes 1 | 2004 | 4 |
| Wöhrle, Stefan | Rheinisch-Westfälische Technische Hochschule Aachen | 2005 | |
| Carayol, Arnaud | Université de Rennes 1 | 2006 | 1 |
| Dinh, Trong Hieu | Université Paris-Est Marne-la-Vallée | 2011 | |
| Penelle, Vincent | Université Paris-Est Marne-la-Vallée | 2015 |
According to our current on-line database, Didier Caucal has 8 students and 15 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 17010 for the advisor ID.