Peter O’Hearn

Quick Facts

Full Name	Peter O'Hearn
Occupation	Computer Scientist
Date Of Birth	Jul 13, 1963(1963-07-13)
Age	61
Birthplace	Halifax Regional Municipality
Country	Canada
Horoscope	Cancer

Peter O'Hearn Biography

Peter O'Hearn is one of the most popular and richest Computer Scientist who was born on July 13, 1963 in Halifax Regional Municipality, Canada. Peter William O’Hearn FRS FREng (born 13 July 1963 in Halifax, Nova Scotia) is a researcher at Facebook and also a professor in Computer science in University College London (UCL). He has made major contribution to the formal method of programming accuracy. Recent innovations have been applied to creating industrial software tools that perform automated analysis of large industrial codebases.

Separation logic has led to Infer Static Analyzer (Facebook Infer) A static program analysis tool created by the O’Hearn Team at Facebook. After more than 20 years of academia, O’Hearn was able to join Facebook in 2013 through purchase of Monoidics Ltd, a startup which he co-founded. Since its creation, Infer has enabled Facebook engineers to solve hundreds of thousands of bugs before they reached production. Infer was made open-sourced in the year 2016 and is currently used for use by Amazon Inc, Spotify, Mozilla, Uber, and other companies. The year 2017 saw O’Hearn as well as the team released RacerD which is an automatic tool for detecting static races that cuts down the amount of time needed to detect potential issues in concurrent software as component of the Infer platform.

As of 2007, O’Hearn has been awarded an Royal Society Wolfson Research Merit Award. He was awarded the award in 2011. O’Hearn along with Samin Ishtiaq were honored with the Most Influential POPL Paper Award. Together with Stephen Brookes, Carnegie Mellon University He was a co-winner of 2016’s Godel Prize, for the invention of Concurrent Separation Theoretical. In 2016 he was appointed Fellow of the Royal Academy of Engineering (FREng) and also co- received an annual CAV (Computer assisted verification) award. In 2018 He was named Fellow of the Royal Society (FRS), and was conferred with an honorary Doctorate of Laws from Dalhousie University.. January 2019 saw him honored with a second Most Important POPL Paper Award, which he co-presented with three colleagues.

Peter O'Hearn Net Worth

Peter O'Hearn is one of the richest Computer Scientist from Canada. According to our analysis, Wikipedia, Forbes & Business Insider, Peter O'Hearn 's net worth $5 Million. (Last Update: December 11, 2023)

O’Hearn earned O’Hearn earned a BSc diploma in Computer Science at Dalhousie University, Halifax, Nova Scotia (1985), then he earned MSc (1987) and Ph.D. (1991) degree in computer science from Queen’s University, Kingston, Ontario, Canada. His dissertation dealt with Semantics of Non-interference: A natural approach, under the supervision of Robert D. Tennent.

O’Hearn worked as an associate professor in Syracuse University, New York, United States, from 1990 until 1995. He was a lecturer of computer sciences at Queen Mary University of London from 1996 until 1999, and was then an Full Professor at Queen Mary until his move to University College London. At UCL he was granted a Royal Academy of Engineering/Microsoft Research Chair. In 1997, he served as an invited researcher at Carnegie Mellon University and in 2006, he visited researchers for Microsoft Research Cambridge.. He is currently as a research scientist at Facebook and as a instructor at UCL.

O’Hearn is best known for separation logic, a theory he developed with John C. Reynolds that unearthed new domains for scaling logical reasoning about code. This built upon previous research from O’Hearn and David Pym on logic for resources — Bunched logic. With Stephen Brookes, Carnegie Mellon University, O’Hearn created Concurrent Separation Logic (CSL), extending the theory further. Tony Hoare, in discussing the grand challenge of program verification, described CSL as “solving two problems…concurrecy and object orientation”.

Height, Weight & Body Measurements

Peter O'Hearn height Not available right now. Peter weight Not Known & body measurements will update soon.

Who is Peter O'Hearn Dating?

According to our records, Peter O'Hearn is possibily single & has not been previously engaged. As of December 1, 2023, Peter O'Hearn’s is not dating anyone.

Relationships Record : We have no records of past relationships for Peter O'Hearn. You may help us to build the dating records for Peter O'Hearn!

Facts & Trivia

Peter Ranked on the list of most popular Computer Scientist. Also ranked in the elit list of famous people born in Canada. Peter O'Hearn celebrates birthday on July 13 of every year.