Peter O'Hearn
Peter William O'Hearn FRS FREng (born 13 July 1963 in Halifax, Nova Scotia) is a research scientist at Facebook and a Professor of Computer science at University College London (UCL). He has made significant contributions to formal methods for program correctness. In recent years these advances have been employed in developing industrial software tools that conduct automated analysis of large industrial codebases.
Wikipage disambiguates
BCS-FACSBunched logicGödel PrizeInfer Static AnalyzerJohn C. ReynoldsList of computer scientistsList of fellows of the Royal Society M, N, OList of fellows of the Royal Society elected in 2018List of people by Erdős numberList of programmersO'HearnO'Hearn, PeterP. W. O'HearnPeter. W. O'HearnPeter W. O'HearnPeter William O'HearnProgramming language theoryRoyal Society Wolfson Research Merit AwardSIGPLANSeparation logic
Link from a Wikipage to another Wikipage
primaryTopic
Peter O'Hearn
Peter William O'Hearn FRS FREng (born 13 July 1963 in Halifax, Nova Scotia) is a research scientist at Facebook and a Professor of Computer science at University College London (UCL). He has made significant contributions to formal methods for program correctness. In recent years these advances have been employed in developing industrial software tools that conduct automated analysis of large industrial codebases.
has abstract
Peter W. O’Hearn (* 13. Juli 1 ...... Wolfson Research Merit Award.
@de
Peter William O'Hearn FRS FREn ...... of large industrial codebases.
@en
Peter William O'Hearn, né le 1 ...... en travaillant au Royaume-Uni.
@fr
academic discipline
award
birth date
1963-07-13
birth name
Peter William O'Hearn
@en
birth place
influenced by
Link from a Wikipage to an external page
Wikipage page ID
30,507,112
page length (characters) of wiki page
Wikipage revision ID
1,014,769,809
Link from a Wikipage to another Wikipage
awards
@en
CAV Award
@en
Fellow of the Royal Academy of Engineering
@en
Honorary Doctor of Laws, Dalhousie University
@en
Most Influential POPL Paper Award
@en
Royal Society Wolfson Research Merit Award
@en
birth date
1963-07-13
birth name
Peter William O'Hearn
@en
birth place
Halifax, Nova Scotia, Canada
@en
caption
Peter O'Hearn at the Royal Society admissions day in London, July 2018
@en
cc
by4
@en
citizenship
United Kingdom, Canada
@en
doctoral advisor
Robert D. Tennent
@en
fields
influences
name
Peter O'Hearn
@en
nationality
British, Canadian
@en
thesis title
Semantics of Non-interference: A natural approach
@en
thesis url
thesis year
website
wikiPageUsesTemplate
subject
hypernym
sameAs
comment
Peter W. O’Hearn (* 13. Juli 1 ...... 013 auch als Engineering Manag
@de
Peter William O'Hearn FRS FREn ...... of large industrial codebases.
@en
Peter William O'Hearn, né le 1 ...... en travaillant au Royaume-Uni.
@fr
label
Peter O'Hearn
@en
Peter O'Hearn
@fr
Peter W. O’Hearn
@de
sameAs
wasDerivedFrom
homepage
isPrimaryTopicOf
name
Peter O'Hearn
@en