Didier Caucal

MathSciNet


Ph.D. Université Paris Diderot - Paris 7 1985 France
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.

NameSchoolYearDescendants
Cachat, ThierryRheinisch-Westfälische Technische Hochschule Aachen2003
Carayol, ArnaudUniversité de Rennes 120061
Colcombet, ThomasUniversité de Rennes 120044
Dinh, Trong HieuUniversité Paris-Est Marne-la-Vallée2011
Morvan, ChristopheUniversité de Rennes 120011
Penelle, VincentUniversité Paris-Est Marne-la-Vallée2015
Urvoy, TanguyInstitut de recherche en informatique et systèmes aléatoires20021
Wöhrle, StefanRheinisch-Westfälische Technische Hochschule Aachen2005

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.