Marc Constantijn Willem Geilen
Original record- Institution
- Technische Universiteit Eindhoven
- Year
- 2002
- Country
- Netherlands
- MGP identifier
- 292451
Dissertation: Formal Techniques for Verification of Complex Real-Time Systems
Advisors 3
- Mario StevensInstitution not recorded
- Jeroen Peter Marie VoetenTechnische Universiteit Eindhoven · 1997
- Josephus Cornelis Maria BaetenUniversity of Minnesota - Twin Cities · 1985
Students 11
| Name | Institution | Year | Students |
|---|---|---|---|
| Shreya Adyanthaya | Technische Universiteit Eindhoven | 2016 | 0 |
| Amir Hossein Ghamarian | Technische Universiteit Eindhoven | 2008 | 0 |
| Majid Nabi Najafabadi | Technische Universiteit Eindhoven | 2013 | 3 |
| Orlando Miguel Pires dos Reis Moreira | Technische Universiteit Eindhoven | 2012 | 2 |
| Seyedhadi Seyedalizadeh Ara | Technische Universiteit Eindhoven | 2019 | 0 |
| Firew Merete Siyoum | Technische Universiteit Eindhoven | 2014 | 0 |
| Marcel Steine | Technische Universiteit Eindhoven | 2013 | 0 |
| Bram van der Sanden | Technische Universiteit Eindhoven | 2018 | 0 |
| Joost Hendrikus Hubertus van Pinxten | Technische Universiteit Eindhoven | 2018 | 0 |
| Umar Waqas | Technische Universiteit Eindhoven | 2017 | 0 |
| Yang Yang | Technische Universiteit Eindhoven | 2012 | 0 |