search
Get Started
search

Peter O'Hearn vs David Silver

Peter O'Hearn Peter O'Hearn
VS
David Silver David Silver
David Silver WINNER David Silver

David Silver edges ahead with a score of 9.0/10 compared to 8.7/10 for Peter O'Hearn. While both are highly rated in the...

VS
emoji_events WINNER
David Silver

David Silver

8.96 Great
Computer Scientist

psychology AI Verdict

David Silver edges ahead with a score of 9.0/10 compared to 8.7/10 for Peter O'Hearn. While both are highly rated in their respective fields, David Silver demonstrates a slight advantage in our AI ranking criteria. A detailed AI-powered analysis is being prepared for this comparison.

emoji_events Winner: David Silver
verified Confidence: Low

description Overview

Peter O'Hearn

Peter O'Hearn is a British computer scientist at University College London and Meta who, with John Reynolds and others, co-developed separation logic, an extension of Hoare logic for reasoning about mutable heap memory. The work enabled scalable automated verification of pointer-manipulating programs and led to tools such as Infer, used at industrial scale for static analysis. He is a Fellow of th...
Read more

David Silver

David Silver is a British computer scientist and a principal research scientist at Google DeepMind. He is known for his work in artificial intelligence and reinforcement learning, specifically for leading the team that developed AlphaGo. AlphaGo became the first AI program to defeat a human world champion at the complex board game Go, achieving a milestone in AI against Lee Sedol in 2016. He subse...
Read more

swap_horiz Compare With Another Item

Compare Peter O'Hearn with...
Compare David Silver with...

Compare Items

See how they stack up against each other

Comparing
VS
Select 1 more item to compare