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...
Sir Christopher Wren: Buildings, Place and Genius Who makes great buildings patrons, architects and builders? Are successful...
Early Mathematics Day: Solving the mystery of the World's First Computer In 1900 a group of sponge divers blown off course...