Computer Science and Artificial Intelligence Laboratory (CSAIL)

An artist's drawing of a black hole named Cygnus X-1. It formed when a large star caved in. This black hole pulls matter from the blue star beside it.

A method to image black holes

New algorithm could stitch together astronomical measurements made across the globe.

June 6, 2016

“Super Mario Brothers” is hard

Analysis shows popular video game is among the hardest problems in the “complexity class” PSPACE.

June 1, 2016

Left: Sandy Alexandre began her appointment as East Campus associate head of house in March. Right: Neel and Julie Shah, who have been appointed heads of house for Sidney Pacific.

Julie Shah, Sandy Alexandre receive campus houseteam appointments

Shah named head of house after serving as Sidney Pacific associate housemaster; Alexandre joins East Campus as associate head of house.

May 26, 2016

“[T]oday, if you want to write a program, you go and bring in these huge frameworks and these huge pieces of functionality that you then glue together, and you write a little code to get them to interact with each other. If you don’t understand what that big framework is doing, you’re not even going to know where your program is going to start executing,” says Armando Solar-Lezama.

Automatic bug finder

System could make complex analysis practical for programs that import huge swaths of code.

May 25, 2016

Regina Barzilay named Delta Electronics Professor

Leader in human language technologies has been appointed the Delta Electronics Professor of Electrical Engineering and Computer Science.

May 23, 2016

“[W]hen you send location data as a secondary piece of information, it is extremely simple for people with very little technical knowledge to find out where you work or live,” Ilaria Liccardi says.

We know where you live

From location data alone, even low-tech snoopers can identify Twitter users’ homes, workplaces.

May 17, 2016

MIT political scientist Kenneth Oye has discovered that collaborating with technologists is a very effective way to inform good policy on the issues he cares about most — from climate change to synthetic biology.

Ken Oye and the art of sociotechnical problem-solving

May 13, 2016

“It’s really exciting to see our small origami robots doing something with potential important applications to healthcare,” Daniela Rus says. Pictured, an example of a capsule and the unfolded origami device.

Ingestible origami robot

Robot unfolds from ingestible capsule, removes button battery stuck to wall of simulated stomach.

May 12, 2016

“This approach overcomes a major hurdle in the human genetics field and addresses an important question surrounding the hidden heritability of many complex traits,” Laurie Boyer says.

New approach to genetic analysis yields markers linked to complex diseases

Study identifies new gene variants that may be targets for treating arrhythmia.

May 10, 2016

MIT researchers will present a new, decentralized planning algorithm for teams of robots that factors in not only stationary obstacles, but moving obstacles, as well. The algorithm still comes with strong mathematical guarantees that the robots will avoid collisions.

Robotic consensus

Control algorithm for teams of robots factors in moving obstacles.

April 21, 2016

The goal of MIT's "Duckiebot" class was to create a fleet of 50 self-driving taxis that can navigate the roads of a model city with just a single on-board camera and no pre-programmed maps.

Self-driving cars, meet rubber duckies

“Duckietown” class at Computer Science and Artificial Intelligence Lab teaches autonomy, aims to become global research platform.

April 20, 2016

AI<sup>2</sup> combs through data and detects suspicious activity using unsupervised machine-learning. It then presents this activity to human analysts, who confirm which events are actual attacks, and incorporate that feedback into its models for the next set of data.

System predicts 85 percent of cyber-attacks using input from human experts

Virtual artificial intelligence analyst developed by the Computer Science and Artificial Intelligence Lab and PatternEx reduces false positives by factor of 5.

April 18, 2016

In tests on 50 popular Web applications written using Ruby on Rails, a new debugging system found 23 previously undiagnosed security flaws, and it took no more than 64 seconds to analyze any given program.

Patching up Web applications

New debugging method found 23 undetected security flaws in 50 popular Web applications.

April 15, 2016

MIT Professional Education announces new online course on the Internet of Things

April 8, 2016

This 3-D hexapod robot moves via a single motor, which spins a crankshaft that pumps fluid to the robot’s legs. Besides the motor and battery, every component is printed in a single step with no assembly required.

First-ever 3-D printed robots made of both solids and liquids

System from Computer Science and Artificial Intelligence Lab 3-D prints hydraulically-powered robot bodies, with no assembly required.

April 6, 2016

MIT News | Massachusetts Institute of Technology

Browse By

Topics

Departments

Centers, Labs, & Programs

Schools

Topic