## computer science

Should machines be allowed to make decisions that impact people's lives?

Will sophisticated algorithms one day replace mathematicians?

Find out how a little bit of maths can enable a machine to learn from experience.

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

The pioneering mathematician talks about his work, computer science and artificial intelligence.

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.

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.

PhD student Yipeng Huang talks to us about his work in analog computing.

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