distributed computing

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.
  • Want facts and want them fast? Our Maths in a minute series explores key mathematical concepts in just a few words.

  • What do chocolate and mayonnaise have in common? It's maths! Find out how in this podcast featuring engineer Valerie Pinfield.

  • Is it possible to write unique music with the limited quantity of notes and chords available? We ask musician Oli Freke!

  • How can maths help to understand the Southern Ocean, a vital component of the Earth's climate system?

  • Was the mathematical modelling projecting the course of the pandemic too pessimistic, or were the projections justified? Matt Keeling tells our colleagues from SBIDER about the COVID models that fed into public policy.

  • PhD student Daniel Kreuter tells us about his work on the BloodCounts! project, which uses maths to make optimal use of the billions of blood tests performed every year around the globe.