Markus Müller-Olm
Dr. rer. nat. Christian-Albrechts-Universität zu Kiel 1996
Dissertation:
Modular Compiler Verification
Advisor: Hans Langmaack
Students:
Click
here to see the students listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Blech, Jan | Technische Universität Kaiserslautern | 2009 | |
| Kovácz, Máté | Technische Universität München | 2014 | |
| Lammich, Peter | Westfälische Wilhelms-Universität Münster | 2011 |
According to our current on-line database, Markus Müller-Olm 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 92738 for the advisor ID.