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?
Arithmetic by Computer and by Human Long multiplication, long division and logarithms are, for many, dim-remembered...
Children's Self-Control and the Health and Wealth of their Nation: Tracking 1000 children from birth to maturity Policy-makers are considering large-scale early intervention programs to enhance children's...
The psychological health of the UK Armed Forces The mental health of the United Kingdom Armed Forces is...
Brain Reconstruction: the next biomedical breakthrough, or a biological impossibility? How close are we to true brain reconstruction? Professor Jack...
To Wear or Not to Wear: Changing social norms with regard to eyewear Studying the history of spectacles brings together the twin themes...
St. Paul's Cathedral at 300: The Recent Refurbishment Project A continuation of the story of St Paul's... 2011 is...
Early Mathematics Day: Solving the mystery of the World's First Computer In 1900 a group of sponge divers blown off course...
Press Coverage of Mental Health and Suicide A reflection on press coverage of mental health issues and...