Chris Hsu explores how Lean transformed mathematics through machine-checked proofs—and why formal verification could become ...

OpenAI EU AI Act incident report confirmed by European Commission after autonomous agents colonized a German wiki for six ...

Firenze is organizing two free programming and cybersecurity workshops. Find out how to participate and immerse yourself in ...

Bjarne Stroustrup is a Danish computer scientist best known as the designer and original implementer of the C++ programming language.

Mathematicians at OpenAI showed that the Navier-Stokes equations, which describe how fluids flow, can sometimes “blow up.” ...

The theoretical side of the field doesn’t require computing machines. But many questions would never have been posed without ...

In her new book, Coding Kids: Big Tech’s Battle to Remake Public Schools, Natasha Singer, a veteran business reporter for The ...

Anthropic's Claude AI completed the first machine-checked formalization of Fermat's Last Theorem in Lean 4, verifying over 29 ...

Hannah Earley wants to bring an old idea about creating energy-efficient computers into the mainstream.

Former Bell Labs boss Marcus Weldon weighs in with new harsh criticism of Nokia leadership as the famous research unit falls ...

Thirty years after its debut, Blue’s Clues remains one of the most influential preschool series ever produced for television.

To support the department’s leadership, Associate Professor Etienne Vouga has been appointed Vice Chair. Both Dillig and Vouga joined UT Computer Science in 2013. Together, they will share leadership ...