Michael Mendler

MathSciNet


Ph.D. The University of Edinburgh 1993 UnitedKingdom
Dissertation: A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification
Mathematics Subject Classification: 68—Computer science

Advisor 1: Rodney Martineau Burstall
Advisor 2: Michael Paul Fourman

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Li, XinChristian-Albrechts-Universität zu Kiel2007
Scheele, StephanOtto-Friedrich-Universität Bamberg2015
Traulsen, ClausChristian-Albrechts-Universität zu Kiel2010

According to our current on-line database, Michael Mendler has 3 students and 3 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 131886 for the advisor ID.