Tim A. C. Willemse
Original record- Institution
- Technische Universiteit Eindhoven
- Year
- 2003
- Country
- Netherlands
- MGP identifier
- 98018
Dissertation: Semantics and verification in process algebras with data and timing
Advisors 2
- Jan Friso GrooteUniversiteit van Amsterdam · 1991
- Josephus Cornelis Maria BaetenUniversity of Minnesota - Twin Cities · 1985
Students 9
| Name | Institution | Year | Students |
|---|---|---|---|
| Mark S. Bouwman | Technische Universiteit Eindhoven | 2023 | 0 |
| Maciej Gazda | Technische Universiteit Eindhoven | 2016 | 0 |
| Jeroen Johan Anna Keiren | Technische Universiteit Eindhoven | 2013 | 1 |
| Maurice Laveaux | Not recorded | — | 0 |
| Thomas Sebastiaan Neele | Technische Universiteit Eindhoven | 2020 | 0 |
| Neda Noroozi | Technische Universiteit Eindhoven | 2014 | 0 |
| Sebastiaan Cornelis Willem Ploeger | Not recorded | — | 0 |
| Daniela Remenska | Not recorded | — | 0 |
| Ulyana Tikhonova | Technische Universiteit Eindhoven | 2017 | 0 |