Peter O'Hearn

Peter O'Hearn's Academic­Influence.com Rankings

Peter O'Hearn

Computer Science

#1030

World Rank

#1068

Historical Rank

Software Engineering

#176

World Rank

#177

Historical Rank

Database

#5901

World Rank

#6120

Historical Rank

computer-science Degrees

Download Badge

• Computer Science

Why Is Peter O'Hearn Influential?

According to Wikipedia, 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 . 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.

Other Resources About Peter O'Hearn

• en.wikipedia.org
• www0.cs.ucl.ac.uk

What Schools Are Affiliated With Peter O'Hearn?

Peter O'Hearn is affiliated with the following schools:

• University of Oxford
• University College London
• Dalhousie University
• Syracuse University
• Queen's University at Kingston
• Queen Mary University of London