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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Cachat, Thierry | Rheinisch-Westfälische Technische Hochschule Aachen | 2003 | |
| Carayol, Arnaud | Université de Rennes 1 | 2006 | 1 |
| Colcombet, Thomas | Université de Rennes 1 | 2004 | 4 |
| Dinh, Trong Hieu | Université Paris-Est Marne-la-Vallée | 2011 | |
| Morvan, Christophe | Université de Rennes 1 | 2001 | 1 |
| Penelle, Vincent | Université Paris-Est Marne-la-Vallée | 2015 | |
| Urvoy, Tanguy | Institut de recherche en informatique et systèmes aléatoires | 2002 | 1 |
| Wöhrle, Stefan | Rheinisch-Westfälische Technische Hochschule Aachen | 2005 |
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.