Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most ...

Reproducibility is fundamental to science. Yet digital technology casts an increasingly long shadow on the principle. When independent investigators examine studies, they are unable to validate about ...

The Department of Electrical Engineering and Computer Science's High School Programming Contest brought together student teams from across the state to the U of A for a day of competitive coding.

One question in computer science has stood above the rest for decades, resisting every attempt to settle it despite its enormous implications. At the center of the mystery is a deceptively simple idea ...

From John Nash's encrypted letters to the NSA to a $1 million unsolved prize, this video unpacks why the gap between verifying and solving a problem may be the deepest puzzle in all of computer ...

Student enrollment is down, artificial intelligence (AI) challenges the norm, and the technology job market is tightening—a ...

A quantum computer assists an AI model with calculations that would take weeks to figure out with a normal computer.

The program will foster “collaboration among faculty from different disciplines,” according to Guarini dean Jon Kull ’88.

Expand your knowledge of the full lifecycle of software development – from design and testing to deployment and maintenance – with a hands-on, 30-credit online Master of Science (MS) in Computer ...

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

Salvador Dalí used various napping techniques in order to spark creativity. Credit: Bettmann. In this lab in Hamburg, Germany ...

Software is splitting just like carpentry did; we still have "fine furniture" engineers, but most work today is "bizware" — ...