XClose

UCL Computer Science

Home
Menu

Peter O'Hearn

Role
Professor of Computer Science
RA Eng/Microsoft Research Chair
Office
MPEB5.23
Office Location
University College London
Dept. of 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
Dept. of Computer Science
Gower Street
London WC1E 6BT
United Kingdom
Group
Programming Principles, Logic, and Verification
Personal Pages
http://www0.cs.ucl.ac.uk/staff/P.OHearn/