Judi Maria Tirza Romijn

MathSciNet


Ph.D. Universiteit Twente 1999 Netherlands
Dissertation: Analysing industrial protocols with formal methods

Advisor 1: Hendrik Ed Brinksma
Advisor 2: Frits Willem Vaandrager

Student:

NameSchoolYearDescendants
Mooij, ArjanTechnische Universiteit Eindhoven20061

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.