Peter Müller
Dr. rer. nat. Fernuniversität Hagen 2001
Dissertation:
Modular Specification and Verification of Object-Oriented Programs
Mathematics Subject Classification: 68—Computer science
Advisor 1: Arnd Poetzsch-Heffter
Advisor 2: Gary Todd Leavens
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Darvas, Ádám | ETH Zürich | 2009 | |
| Dietl, Werner | ETH Zürich | 2009 | |
| Nordio, Martin | ETH Zürich | 2009 | |
| Lehner, Hermann | ETH Zürich | 2011 | |
| Rudich, Arsenii | ETH Zürich | 2011 | |
| Ruskiewicz, Joseph | ETH Zürich | 2012 | |
| Favre, Cédric | ETH Zürich | 2014 | |
| Christakis, Maria | ETH Zürich | 2015 | |
| Juhasz, Uri | ETH Zürich | 2016 |
According to our current on-line database, Peter Müller has 9 students and 9 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 97971 for the advisor ID.