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
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/