Computer Science and Artificial Intelligence Laboratory (CSAIL)
New mathematical framework formalizes oddball programming techniques
Loop perforation — speeding up programs by skipping instructions — is just one method that gets rigorous mathematical treatment in a new paper.
Thwarting the cleverest attackers
Savvy hackers can steal a computer’s secrets by timing its data storage transactions or measuring its power use. New research shows how to stop them.
Time magazine names Lo, Sadoway among the world’s ‘most influential’ people
Several MIT alumni also named to annual list.
Lynch named Athena Lecturer
Professor honored for advances in distributed systems that enable dependable Internet and wireless network applications.
New CSAIL research could help secure the cloud
DARPA funding awarded to a project that aims to develop a smart, self-healing cloud computing infrastructure.
The mathematics of taste
By using ‘genetic programming’ to crossbreed algorithms, researchers help flavor companies figure out what their customers like.
The faster-than-fast Fourier transform
For a large range of practically useful cases, MIT researchers find a way to increase the speed of one of the most important algorithms in the information sciences.
The quantifier
By helping biologists turn their hunches into rigorous mathematical models, Polina Golland builds software that interprets medical images.
Self-aware computing project named a 'world changing' idea by Scientific American
Project Angstrom selected by magazine's editors; featured in December issue