The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the ...

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 ...

In 2026-2027 rankings, all UT computer science programs rank in the top 10, while math and more are in the top tier at The University of Texas at Austin.