Search | Gresham College

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?

Observing the Dark Ages

An exploration of a time when there were no stars or galaxies, and the universe was transparent - how were the first indications of the state of the universe in the dark ages discovered?

As year 2000, 'Y2K', approached, many feared that computer programs would cause problems. There is a widespread belief that the millennium bug was a myth, invented by rapacious consultants as a way to make money. What was the truth? What, if anything, happened? Have we learnt all the right lessons?

What will happen when Artificial Intelligence and the Internet meet the Professions?

In the long run, in an Internet society, it is claimed, we will neither need nor want doctors, teachers, accountants, architects, the clergy, consultants, lawyers, and many others, to work as they did in the 20th century. - Is this true?

The Art of Astrophotography

The book launch for Ian Morison's new book The Art of Astrophotography.

The Accelerating Universe

Professor Silk will explore the origin of this paradigm shift in our cosmic horizon, and discuss the origin of the acceleration as a phenomenon that we call dark energy.

The Dilemmas of Privacy and Surveillance

Cyberspace must not be an unpoliced area of society - it is much too important for that. In the battle between the spooks and the geeks, who will win? And who should win?

Should We Trust a Theory?

Can a scientific theory ever be confirmed? Must a scientific theory be falsifiable? Theories such as that of the multiverse and string theory will be considered.

Safety-Critical Systems

Software is an essential part of many safety-critical systems. What are the standards and guidance that are used when regulators certify these systems for use. Are they based on sound computer science?

The First Three Minutes of Creation

In the first three minutes after the beginning of the universe, all of the stuff that we and the Earth are made of were created and the universe attained its huge size, homogeneity and isotropy.

Suggested searches:

For the Love of Learning since 1597

Popular topics:

Search results