On a recent train trip from Lyon to Paris, Vladimir Voevodsky sat next to Steve Awodey and tried to convince him to change the way he does mathematics. Voevodsky, 48, is a permanent faculty member at ...

Programmers normally want to minimize the time their code takes to execute. But in 1962, the Hungarian mathematician Tibor Radó posed the opposite problem. He asked: How long can a simple computer ...

The Department of Mathematics and Computer Science offers major programs leading to the bachelor of science in mathematics or the bachelor of science in computer science, as well as required and ...

Growth and change in technology have brought a boom in the availability of data and the need for people to shape technologies. Growing areas like machine learning require expertise in programming, ...

Explore our campus, meet lecturers and current students, and learn more about what it's like to study at Manchester. We place social responsibility at the heart of your learning which means you can ...

Maths powers computing and computing has revolutionised modern mathematics, allowing us to solve complex problems using advanced techniques faster than ever before. Our BSc Mathematics and Computer ...

Large language models still struggle with basic reasoning tasks. Two new papers that apply machine learning to math provide a blueprint for how that could change. The world has learned two things in ...

The University's location in "Silicon Valley," home to campuses of IBM, Apple, Intel, Sun Microsystems, Silicon Graphics, Hewlett Packard, Netscape, 3Com, Cisco Systems, Genentech, Yahoo, Google, eBay ...