Peter O'Hearn, Date of Birth, Place of Birth
TweetPeter O'Hearn
computer scientist
Date of Birth: 13-Jul-1963
Place of Birth: Halifax, Nova Scotia, Canada
Profession: engineer, computer scientist
Zodiac Sign: Cancer 
About Peter O'Hearn
- Peter William O'Hearn (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.
Read more at Wikipedia