Prof. Sir Tony Hoare
Proffesions
emeritus professor of computing
Oxford University Computing Laboratory
senior researcher
Microsoft
Photos
The ideal of program correctness
Prof. Sir Tony Hoare
15 years ago - 42:46
Questions & Answers
Prof. Sir Tony Hoare
15 years ago - 26:12
The verifying compiler: a Grand Challenge for
Prof. Sir Tony Hoare
15 years ago - 48:06