T
Tony Hoare
Researcher at Microsoft
Publications - 141
Citations - 9523
Tony Hoare is an academic researcher from Microsoft. The author has contributed to research in topics: Correctness & Concurrency. The author has an hindex of 32, co-authored 140 publications receiving 9404 citations. Previous affiliations of Tony Hoare include University of Oxford & University of Cambridge.
Papers
More filters
Journal ArticleDOI
The verifying compiler: A grand challenge for computing research
TL;DR: This contribution proposes a set of criteria that distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the interest of scientists and engineers.