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 ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Li, Xin | Christian-Albrechts-Universität zu Kiel | 2007 | |
| Traulsen, Claus | Christian-Albrechts-Universität zu Kiel | 2010 | |
| Scheele, Stephan | Otto-Friedrich-Universität Bamberg | 2015 |
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.