Peter O'Hearn
- Role
- Professor of Computer Science
- RA Eng/Microsoft Research Chair
- Office
- -
- Office Location
- University College London
- Computer Science
- Gower Street
- London WC1E 6BT
- United Kingdom
- Tel
- +44 (0)20 7679 - (Direct Dial)
- Internal
- -
- Fax
- +44 (0)20 7387 1397
- Email
- P.OHearn (at) cs.ucl.ac.uk
- Postal Address
- University College London
- Computer Science
- 66-72 Gower Street
- London WC1E 6EA
- United Kingdom
- Group
- Programming Principles, Logic, and Verification
- Personal Pages
- http://www0.cs.ucl.ac.uk/staff/P.OHearn/