Peter Ernst Lauer
Original record- Institution
- Queen's University of Belfast
- Year
- 1971
- Country
- United Kingdom
- MGP identifier
- 149828
Dissertation: Consistent formal theories of the semantics of programming languages
Advisor 1
- Charles Antony Richard (Tony) HoareInstitution not recorded
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Eike Best | University of Newcastle upon Tyne | 1981 | 12 |
| Yiannis Cotronis | University of Newcastle upon Tyne | 1982 | 3 |