50:54 Watch Now The Verifying Compiler: A Grand Challenge for computing research of the 21st Tony Hoare Thu, 18 Mar 2004 Computing Science
1:00:12 Watch Now Designing Anything: From Lego to Maths Professor Harold Thimbleby Thu, 13 Mar 2003 Computing Maths
51:22 Watch Now Designing Mobile Phones Professor Harold Thimbleby Thu, 28 Nov 2002 Computing Maths Communication