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

  • Details
  • Transcript
  • Audio
  • Downloads
  • Extra Reading

Download Transcript

This event was on Thu, 18 Mar 2004

Tony Hoare

Tony Hoare

Sir Tony Hoare FRS FREng is a computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing...

Find out more

Support Gresham

Gresham College has offered an outstanding education to the public free of charge for over 400 years. Today, Gresham plays an important role in fostering a love of learning and a greater understanding of ourselves and the world around us. Your donation will help to widen our reach and to broaden our audience, allowing more people to benefit from a high-quality education from some of the brightest minds. 

You May Also Like