Peter O'Hearn
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Place of birth | Halifax Regional Municipality, Canada |
| Citations | 9,477 |
| Influenced by | John C. Reynolds |
| Known for | Separation logic |
| Bunched logic | |
| Infer Static Analyzer | |
| Education | Dalhousie University |
| Queen's University | |
| Books | Algol-like Languages |
| Semantics of Noninterference [microform] : a Natural Approach | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1413204 |
Peter O'Hearn Life story
Peter William O'Hearn FRS FREng is a Research Scientist at Facebook and a Professor of Computer science at University College London. He has made significant contributions to formal methods for program correctness.