Michael Westergaard

MathSciNet


Ph.D. Aarhus University 2007 Denmark
Dissertation: Looking Good, Behaving Well - Behavioural Verification and Visualisation of Formal Models of Concurrent Systems    

Advisor: Kurt Jensen

Student:

NameSchoolYearDescendants
Nakatumba, JoyceTechnische Universiteit Eindhoven2013

According to our current on-line database, Michael Westergaard has 1 student and 1 descendant.
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 124754 for the advisor ID.