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?
Some Stay and Some Return: Caribbean Migration Outcomes This is a part of the series of four lectures...
True and Impartial Observations: The Work of Robert Hooke This lecture assesses the work of Robert Hooke (who as...
Sir Thomas Gresham and The New Learning The subjects chosen by Sir Thomas Gresham for his Professors...
Change, Exchange and International Interchange: London and International Trade in the 16th Century 16th Century London experienced economic challenge and transformation as dramatic...
Sir Christopher Wren: Buildings, Place and Genius Who makes great buildings patrons, architects and builders? Are successful...