Judi Maria Tirza Romijn
Ph.D. Universiteit Twente 1999
Dissertation:
Analysing industrial protocols with formal methods
Advisor 1: Hendrik Ed Brinksma
Advisor 2: Frits Willem Vaandrager
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Mooij, Arjan | Technische Universiteit Eindhoven | 2006 | 1 |
According to our current on-line database, Judi Romijn has 1 student and 2 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 66047 for the advisor ID.