Peter O'Hearn

Home    Biography    Publications    Talks    CV


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 theoretical topics (e.g., on new logics and category-theoretic models...) and on practical 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