Researchers developed a new system that can make computer programs run faster, while guaranteeing accuracy.

A new tensor language developed at MIT, with formally verified optimizations, could have benefits for high-performance computing.

MIT computer scientists and mathematicians offer an introductory computing and career-readiness program for incarcerated women in New England.

Researchers have created a method to help workers collaborate with artificial intelligence systems.

Twist is an MIT-developed programming language that can describe and verify which pieces of data are entangled to prevent bugs in a quantum program.

Sometimes, software is just like us. It can be bloated, slow, and messy. Humans might see a doctor if these symptoms persist (maybe not for messiness), but rarely do we push a flawed software program to go see its developer time and time again.

A trio of researchers that includes William Kuszmaul — a computer science PhD student at MIT — has made a discovery that could lead to more efficient data storage and retrieval in computers.