Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Peter O'Hearn
Peter O'Hearn
Professor of Computer Science
Royal Society Wolfson Research Merit Award Holder
Department of Computer Science,
Queen Mary, University of London,
London, E1 4NS, UK
Phone: +44 (0)20 7882 5443;
Fax: +44 (0)20 8980 6533;
e-mail: ohearn AT dcs.qmul.ac.uk
My research interests are in logic and semantics of computation. I am a theorist
by training and nature,
but in recent years
have been tempted into tools
research as well, where I help out, or get dragged along by, many
excellent colleagues in the London/Cambridge area (see Massive and Tool Project links below)
who are enthusiastically
pursuing mechanized program verification.
Scalable Shape Analysis for Systems Code
H Yang, O Lee, J Berdine, C Calcagno, B Cook, D Distefano and P O'Hearn.
To appear in CAV'08 (check back later for pdf).