Leslie Lamport explains how he used logical clocks to set history straight in distributed systems.

Leslie Lamport explains how an understanding of special relativity helped him realise how to order events in computer science, and enabled the development of distributed computing.

My view of the events taking place on my computer is very different to how a computer scientist, a engineer or a physicist would view what is happening inside the box. Leslie Lamport explains how the definition of an event distinguishes between these areas of research.

Our digital lives rely on distributed computer systems, such as the internet, but understanding the order of events in such systems is not always straightforward.

Our digital lives rely on distributed computer systems, such as the network of banks that allow us to deposit cash in one place and withdraw it in another. But understanding the order of events in such systems is not always straightforward.

Here's your chance to venture to the frontiers of physics using your very own computer. This week CERN began public testing of LHC@home 2.0, a project that enlists the computing power of volunteers from around the world to help simulate high-energy collisions of protons in the LHC.

Astronomers have this month trained the world's largest steerable radio telescope on 86 Earth-like planets. The data collected by the telescope will later be analsyed by an estimated one million amateur alien hunters, users of SETI@home, for messages from other civilisations.

Take part in research from home, and help defeat malaria with Africa@home.

The GIMPS project finds a new Mersenne prime

7.8 million digits down, only 2.2 million more needed!

Plus talks to Christine Hogan, programmer, sysadmin and author, now studying aerodynamics and hoping to become a member of a Formula One team.