# The Verifying Compiler: A Grand Challenge for computing research of the 21st

- Institution: Gresham College
- Speaker: Tony Hoare
- Year: 2004
- Level: For everyone
- Language: English
- Subjects: Computer science
- Source: [Gresham College](https://www.gresham.ac.uk/watch-now/verifying-compiler-grand-challenge-computing-research-21st)
- Licence: [Educational use (Gresham College's terms)](https://www.gresham.ac.uk/terms-and-conditions)
- Who can watch: Tweens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words)

## Lectures

1. [The Verifying Compiler: A Grand Challenge for computing research of the 21st](https://invisiblenetwork.ai/learn/gresham/verifying-compiler-grand-challenge-computing-research-21st/6769a627bd70) (YouTube)