Cas Cremers
Ph.D. Technische Universiteit Eindhoven 2006
Dissertation:
Scyther: Semantics and verification of security protocols
Mathematics Subject Classification: 68—Computer science
Advisor 1: Sjouke Mauw
Advisor 2: Erik Peter de Vink
Advisor 3: Josephus Cornelis Maria Baeten
Students:
Click
here to see the students listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Cohn-Gordon, Katriel | University of Oxford | 2018 | |
| Dehnel-Wild, Martin | University of Oxford | 2018 | |
| Feltz, Michèle | ETH Zürich | 2014 | |
| Garratt, Luke | University of Oxford | 2018 | |
| Horvat, Marko | University of Oxford | 2015 | |
| Jackson, Dennis | University of Oxford | 2020 | |
| Meier, Simon | ETH Zürich | 2013 | |
| Milner, Kevin | University of Oxford | 2018 |
According to our current on-line database, Cas Cremers has 8 students and 8 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 189562 for the advisor ID.