Michael Mendler
Ph.D. The University of Edinburgh 1993
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.
| Name | School | Year | Descendants |
|---|---|---|---|
| Li, Xin | Christian-Albrechts-Universität zu Kiel | 2007 | |
| Scheele, Stephan | Otto-Friedrich-Universität Bamberg | 2015 | |
| Traulsen, Claus | Christian-Albrechts-Universität zu Kiel | 2010 |
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.