Address: Department of Computer Science,
Queen Mary, University of London,
London, E1 4NS, UK
Phone: +44 (0)20 7882 5443;
Fax: +44 (0)20 7882 7064;
e-mail: ohearn AT dcs.qmul.ac.uk
My research interests are in logic and semantics of computation.
With John Reynolds (CMU)
I developed separation logic, which addresses the problem of tractable reasoning
about dynamically allocated objects.
With David Pym (then at Queen Mary, now at HP) I developed
bunched logic,
a general logic of resource, which
is a more abstract
cousin of and precursor to separation logic.
While I mainly do theory, I like for the theory and practice to feed off one another. That has been helped in recent years by
tools research I've gotten involved with,
particularly the SpaceInvader team (Cristiano Calcagno,
Dino Distefano, Hongseok Yang and me) in London
and our SLAyer/TERMINATOR colleagues at Microsoft Cambridge (Josh Berdine,
Byron Cook).
More generally,
I have
many excellent colleagues in the London/Cambridge area
who are enthusiastically
pursuing program logic and semantics, mechanized program verification and static program analysis; it is a great place for this sort of research at the moment.
