Peter O'Hearn
Professor of Computer Science
Computer Science Dept, University College London

Home    Biography    Publications    Talks


As of September 2013 I am working at Facebook, based out of their London office. I was a founder of Monoidics Ltd, a software verification company which was acquired by Facebook in 2013. I am maintaining my connection to UCL and my Professor position, but am not taking new PhD students or postdocs.

I am a Professor of Computer Science at University College London, in the Programming Principles, Logic and Verification research group. I have worked on theoretical topics (e.g., on separation and bunched logics, on category-theoretic models...) and on automated tools for program verification and analysis (e.g., Smallfoot, Space Invader, Abductor). I like to think that fundamental theory, tool development and application can and even should play off one another via mutual feedback in computer science research, in a way reminiscent of the experimental method.


    Separation Logic     Smallfoot     SpaceInvader     Abductor     Attack of the 50 Foot Spatial Dudes     Proof of Cyclic List Reversal