Peter O'Hearn
id:
peter-o-hearn-218-3492915
title:
Peter O'Hearn
text:
Peter William O'Hearn, formerly a research scientist at Meta, is a Distinguished Engineer at Lacework 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.
brand slug:
wiki
category slug:
encyclopedia
description:
Research scientist (born 1963)
original url:
https://en.wikipedia.org/wiki/Peter_O%27Hearn
date created:
2011-01-17T17:12:24Z
date modified:
2024-09-13T07:46:26Z
main entity:
{"identifier":"Q7176171","url":"https://www.wikidata.org/entity/Q7176171"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/2/20/Peter_O%27Hearn_Royal_Society.jpg","width":576,"height":864}
fields total:
13
integrity:
16