Computer Science and Artificial Intelligence Laboratory (CSAIL)

Daskalakis wins Microsoft Faculty Fellowship

Daniela Rus named CSAIL directorEECS professor to become new leader of MIT’s largest interdepartmental laboratory.

New mathematical framework formalizes oddball programming techniquesLoop perforation — speeding up programs by skipping instructions — is just one method that gets rigorous mathematical treatment in a new paper.

Thwarting the cleverest attackersSavvy 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.

Abelson honored as outstanding educatorWins ACM's Karl V. Karlstom Award

The robot revolution is just beginningRodney Brooks outlines his vision of the future to student entrepreneurs.

Time magazine names Lo, Sadoway among the world’s ‘most influential’ peopleSeveral MIT alumni also named to annual list.

Lynch named Athena LecturerProfessor honored for advances in distributed systems that enable dependable Internet and wireless network applications.

13 faculty members elected to the American Academy of Arts and Sciences

Getting to the root of geneticsManolis Kellis uses computational techniques to decipher human disease.

Chips as mini InternetsThe data-routing techniques that undergird the Internet could increase the efficiency of multicore chips while lowering their power requirements.

All in a day’s work: Design and print your own robotMIT project, funded with $10 million NSF grant, could transform robotic design and production

Self-sculpting sandNew algorithms could enable heaps of ‘smart sand’ that can assume any shape, allowing spontaneous formation of new tools or duplication of broken mechanical parts.

Anant Agarwal named director of new unit to advance MITxInstructor of inaugural 6.002x course will step down as CSAIL director.

Letter to the community on appointment of Open Learning Enterprise director

Guiding robot planes with hand gesturesMIT researchers are developing a system that would allow aircraft-carrier crews to direct autonomous planes using ordinary hand gestures.

Testing unbuilt chipsA new software-simulation system promises much more accurate evaluation of promising — but potentially fault-ridden — multicore-chip designs.

Scott Aaronson wins NSF’s Alan T. Waterman AwardNational Science Foundation’s most prestigious award will help fuel CSAIL researcher’s work.

Game onAs MIT Sloan Sports Analytics Conference kicks off, scholars and fans have produced a growing avalanche of quantitative research.

Liskov named to National Inventors Hall of Fame

New system allows robots to continuously map their environmentAlgorithm to build 3-D maps requires a low-cost camera, no human input.

MITx prototype course opens for enrollmentOnline-learning initiative’s first offering, ‘6.002x: Circuits and Electronics,’ accepting registrants now.

Cuthbert receives $500,000 Digging into Data grantWill support innovative musicology research

Dennis Selected for ACM SIGOPS Hall of Fame

The mathematics of tasteBy using ‘genetic programming’ to crossbreed algorithms, researchers help flavor companies figure out what their customers like.

The faster-than-fast Fourier transformFor 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.