Living in a Cyber-enabled World: An Introduction by Professor Martyn Thomas Professor Martyn discusses the possible reasons for alarm at Technology's...
Making Software 'Correct by Construction' Is it possible to build software so that you know that is is correct? How could this be done? Has anyone tried? What would it cost?
When Did you Decide to Become a Cosmologist? - Professor Joseph Silk Were it not for a chance lecture, Professor Joseph Silk...
What is it Like to Give a Lecture? - Professor Joseph Silk Professor Joseph Silk explains what it is like to give...
Get to know Professor Joseph Silk If you're unfamiliar with Professor Silk and his achievements, this...