Peter William O'Hearn
Original record- Institution
- Queen's University at Kingston
- Year
- 1991
- Country
- Canada
- MGP identifier
- 41401
Dissertation: Semantics of Noninterference: A Natural Approach
Advisor 1
- Robert D. TennentUniversity of Toronto · 1973
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Josh Berdine | Queen Mary, University of London | 2003 | 0 |
| Cristiano Calcagno | Università degli Studi di Genova | 2001 | 2 |
| Stephen Cooper | Syracuse University | 1997 | 3 |
| Paul Blain Levy | University of London | 2001 | 3 |
| Ivana Mijajlović | Queen Mary, University of London | 2007 | 0 |
| Kaustubh Nimkar | University College London | 2015 | 0 |
| Roger L. Norton | Syracuse University | 1993 | 0 |