Peter O'Hearn

Home    Biography    Publications    Talks


Engineering Manager at Facebook
Professor of Computer Science at University College London

My work has been in the areas of programming languages and logic. I have worked on highly theoretical topics (e.g., on new logics and category-theoretic models...) and on automated software tools for program verification and analysis (e.g., Smallfoot, Space Invader, Abductor, Infer). 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.

PPLV group @ UCL.     Separation Logic     Smallfoot     SpaceInvader     Abductor     Attack of the 50 Foot Spatial Dudes     Proof of Cyclic List Reversal