Content about “
computer science

Collection

The power of ants

Find out how ants have inspired a class of cutting-edge algorithms designed to solve complex real-world problems.
Article

The power of ants

Find out how these humble animals have inspired computer algorithms to solve complex real-world problems.
News story
network

Pure maths in crisis?

Proof is the essence of mathematics. But is the standard of proof in research maths really as high as mathematicians would like to believe?
Article

Robots to play games with

Chess computers were one of the first step towards developing a form of AI. Here's a brief history.
Article

A conversation with Stephen Cook

We talk to pioneering mathematician Stephen Cook, who came up with the concept of NP-complete problems, about his work, computer science, and artificial intelligence.
Article

What's your problem?

There are problems that are easy to solve in theory, but impossible to solve in practice. Intrigued? Then join us on a journey through the world of complexity, all the way to the famous P versus NP conjecture.

Article
clock

Clocks to the rescue!

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

Violating causality

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.