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 ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Meier, Simon | ETH Zürich | 2013 | |
| Feltz, Michèle | ETH Zürich | 2014 | |
| Horvat, Marko | University of Oxford | 2015 | |
| Cohn-Gordon, Katriel | University of Oxford | 2018 | |
| Dehnel-Wild, Martin | University of Oxford | 2018 | |
| Garratt, Luke | University of Oxford | 2018 | |
| Milner, Kevin | University of Oxford | 2018 | |
| Jackson, Dennis | University of Oxford | 2020 | |
| Zhao, Mang | Universität des Saarlandes | 2024 |
According to our current on-line database, Cas Cremers has 9 students and 9 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.