The 2011 Wolfson College Haldane Lecture was given by Sir Tony Hoare, Emeritus Professor at Oxford University Computing Laboratory and a principal researcher at Microsoft Research in Cambridge, UK.
Applied Logic
Error loading media: File could not be played
Series:
People:
Oxford Unit: