Device is incompatible to play the video
Thursday, 18 March 2004, 12:00AM
Barnard's Inn Hall

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

Tony Hoare
Related Future Lectures
Related Past Lectures
WATCHED
Part of a series

Antibiotic Resistance: Calling on Citizens to Help Tackle the Problem

Professor Jacqueline McGlade
Tuesday, 25 September 2018 - 6:00PM
WATCHED
Part of a series

Ultra-Compact Objects: Astronomy with Gravitational Waves

Professor Joseph Silk FRS
Wednesday, 3 October 2018 - 1:00PM
WATCHED
Part of a series

Epidemics, Pandemics and How To Control Them

Professor Chris Whitty
Wednesday, 10 October 2018 - 6:00PM
WATCHED
Part of a series

How Natural is Natural? Historical Perspective on Wildlife and the Environment in England

Professor Tom Williamson
Wednesday, 17 October 2018 - 6:00PM
WATCHED
Part of a series

It from Bit: The Science of Information

Professor Richard Harvey
Tuesday, 23 October 2018 - 6:00PM
WATCHED
Part of a series

Dark Matters

Professor Joseph Silk FRS
Wednesday, 24 October 2018 - 1:00PM
WATCHED

Climate Change: A Defining Challenge for the 21st Century

Dame Julia Slingo FRS
Thursday, 14 June 2018 - 6:00PM
WATCHED
Part of a series

Computers and the Future

Professor Martyn Thomas CBE
Tuesday, 12 June 2018 - 6:00PM
WATCHED
Part of a series

Who's to Blame for Britain's Floods?

Professor Carolyn Roberts
Thursday, 31 May 2018 - 6:00PM
WATCHED
Part of a series

Computers and Warfare

Professor Martyn Thomas CBE
Tuesday, 29 May 2018 - 6:00PM
WATCHED
Part of a series

Media Reporting of Medical Advances: Helpful or Misleading?

Professor Martin Elliott
Wednesday, 23 May 2018 - 6:00PM
WATCHED
Part of a series

Facts Matter, But They Aren't Enough: Science, Faith and Meaning in Life

Professor Alister McGrath
Tuesday, 8 May 2018 - 1:00PM
WATCHED

What is it about Cocaine that makes it addictive?

Dr William Harrop-Griffiths
Monday, 6 February 2017 - 1:55PM
WATCHED

The Role of Collaboration in Nature and its Link to Success

Professor Steve Jones
Tuesday, 31 January 2017 - 6:59PM
WATCHED

The Offspring of Semi-Female Mimics in Ruffs

Professor Steve Jones
Tuesday, 31 January 2017 - 6:58PM
WATCHED

What Is The Advantage To The Flowers That Are 'Orchid-Mimics'?

Professor Steve Jones
Tuesday, 31 January 2017 - 6:56PM
WATCHED

An Interesting Fact About Female Swordtail Fish

Professor Steve Jones
Tuesday, 31 January 2017 - 6:55PM
WATCHED

The Sideways Motion of a Ponytail

Professor Raymond E. Goldstein
Wednesday, 9 November 2016 - 6:58PM

Fatal error: Uncaught ErrorException: file_put_contents(): Only 0 of 183 bytes written, possibly out of free disk space in phar:///var/www/html/cms.phar/addons/logger_disk/logger_disk.php:47 Stack trace: #0 [internal function]: CMS\Core\Exception->CMS\Core\{closure}(2, 'file_put_conten...', 'phar:///var/www...', 47, Array) #1 phar:///var/www/html/cms.phar/addons/logger_disk/logger_disk.php(47): file_put_contents('/var/www/html/d...', '[ERROR][Wed, 19...', 8) #2 [internal function]: Addons\logger_disk\logger_disk->add('ERROR', '[ERROR][Wed, 19...', Array) #3 phar:///var/www/html/cms.phar/CMS/Classes/Strategy.php(22): call_user_func_array(Array, Array) #4 phar:///var/www/html/cms.phar/addons/exception_standard/exception_standard.php(32): CMS\Classes\Strategy->__call('add', Array) #5 [internal function]: Addons\exception_standard\exception_standard->handle(Object(ErrorException)) #6 phar:///var/www/html/cms.phar/CMS/Classes/Strategy.php(22): call_user_func_array(Array, Array) #7 [internal function]: CMS\Classes\Strategy->__c in phar:///var/www/html/cms.phar/addons/logger_disk/logger_disk.php on line 47