Peter O'Hearn
(1963-)
Computer scientist
About
Jump to
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.
Key details
edit section
| Born |
13 July 1963 (age 62) Halifax, Nova Scotia, Canada
|
| Zodiac | Cancer |
| Tags | Add tag |
Partner
Family members
Romantic interests
Friends & associates
Scholars
1
Missing information for Peter O'Hearn
- missing height
- missing hair color
- missing eye color
- missing ethnicity
- add banner photo
- add photos to gallery
- missing current partner
Similar profiles
14
Activity
Top contributors today
Be the first to contribute today
Tags
Featured contributors
Couples by country
USA · UK · Canada · Australia · France · Germany · India · China · South Korea · Japan · Spain · MexicoCouples by decade
1900s · 1910s · 1920s · 1930s · 1940s · 1950s · 1960s · 1970s · 1980s · 1990s · 2000s · 2010s · 2020sADVERTISEMENT
ADVERTISEMENT
