## computer science

Janelle tells us how computer algorithms can help investigate crime scenes.

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

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

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.