Research

Impact Areas

Lead

Costis Daskalakis

Erik Demaine

Michael Goemans

Piotr Indyk

David Karger

Jonathan Kelner

Tom Leighton

Charles E. Leiserson

Aleksander Madry

Ankur Moitra

Ronitt Rubinfeld

Nir Shavit

Ryan Williams

Virginia Vassilevska Williams

Community of Research

Applied Machine Learning Community of Research

This CoR brings together researchers at CSAIL working across a broad swath of application domains. Within these lie novel and challenging machine learning problems serving science, social science and computer science.

Una-May O'Reilly

Leads

Una-May O'Reilly

Research Areas

Computational Biology

Impact Areas

Education

Lead

Una-May O'Reilly

Research Center

Center for Deployable Machine Learning (CDML)

The MIT Center for Deployable Machine Learning (CDML) works towards creating AI systems that are robust, reliable and safe for real-world deployment.

Aleksander Madry

Leads

Aleksander Madry

Research Areas

Impact Areas

Lead

Aleksander Madry

Research Group

Clinical Decision-Making Group

We focus on furthering the application of technology and artificial intelligence in medicine and health-care.

+10

Peter Szolovits

Leads

Peter Szolovits

Research Areas

Computational Biology

Impact Areas

Lead

Peter Szolovits

+10

Peter Szolovits

Community of Research

Cognitive AI Community of Research

This CoR aims to develop AI technology that synthesizes symbolic reasoning, probabilistic reasoning for dealing with uncertainty in the world, and statistical methods for extracting and exploiting regularities in the world, into an integrated picture of intelligence that is informed by computational insights and by cognitive science.

Howard Shrobe

Leads

Howard Shrobe

Research Areas

Impact Areas

Education

Lead

Howard Shrobe

Research Group

Complexity Theory Group

Our interests span quantum complexity theory, barriers to solving P versus NP, theoretical computer science with a focus on probabilistically checkable proofs (PCP), pseudo-randomness, coding theory, and algorithms.

Leads

Shafi Goldwasser

Ronitt Rubinfeld

Michael Sipser

Ryan Williams

Virginia Vassilevska Williams

Research Areas

Impact Areas

Lead

Shafi Goldwasser

Ronitt Rubinfeld

Michael Sipser

Ryan Williams

Virginia Vassilevska Williams

Community of Research

Computing & Society Community of Research

This community is interested in understanding and affecting the interaction between computing systems and society through engineering, computer science and public policy research, education, and public engagement.

Daniel Weitzner

Leads

Daniel Weitzner

Research Areas

Impact Areas

Lead

Daniel Weitzner

Research Group

Cryptography and Information Security Group

We seek to develop techniques for securing tomorrow's global information infrastructure by exploring theoretical foundations, near-term practical applications, and long-range speculative research.

Leads

Shafi Goldwasser

Silvio Micali

Ronald Rivest

Vinod Vaikuntanathan

Butler Lampson

Research Areas

Impact Areas

Wireless

Lead

Shafi Goldwasser

Silvio Micali

Ronald Rivest

Vinod Vaikuntanathan

Butler Lampson

Research Group

Decentralized Information Group

We are investigating decentralized technologies that affect social change.

Lalana Kagal

Tim Berners-Lee

Leads

Lalana Kagal

Tim Berners-Lee

Research Areas

Impact Areas

Lead

Lalana Kagal

Tim Berners-Lee

Lalana Kagal

Tim Berners-Lee

Research Group

Distributed Robotics Laboratory

We aim to develop the science of autonomy toward a future with robots and AI systems integrated into everyday life, supporting people with cognitive and physical tasks.

+13

Daniela Rus

Leads

Daniela Rus

Research Areas

Impact Areas

Lead

Daniela Rus

+13

Daniela Rus

Research Group

Geometric Data Processing Group

Our group studies geometric problems in computer graphics, computer vision, machine learning, optimization, and other disciplines.

Justin Solomon

Leads

Justin Solomon

Research Areas

Impact Areas

Lead

Justin Solomon

Research Group

Interactive Robotics Group

The Interactive Robotics Group aims to imagine the future of work by designing collaborative robot teammates that enhance human capability.

Julie Shah

Leads

Julie Shah

Research Areas

Impact Areas

Lead

Julie Shah

Research Group

Learning and Intelligent Systems

We conduct interdisciplinary research aimed at discovering the principles underlying the design of artificially intelligent robots.

Leslie Kaelbling

Tomas Lozano-Perez

Leads

Leslie Kaelbling

Tomas Lozano-Perez

Research Areas

Impact Areas

Lead

Leslie Kaelbling

Tomas Lozano-Perez

Leslie Kaelbling

Tomas Lozano-Perez

Research Group

Lecturers

Lecturers in CSAIL

Leads

Research Areas

Impact Areas

Education

Research Group

Marine Robotics Group

Our projects are centered around the problems of navigation and mapping for autonomous mobile robots operating in underwater and terrestrial environments.

John Leonard

Leads

John Leonard

Research Areas

Impact Areas

Lead

John Leonard

Research Group

Multicore Algorithmics

We develop techniques for designing, implementing, and reasoning about multiprocessor algorithms, in particular concurrent data structures for multicore machines and the mathematical foundations of the computation models that govern their behavior.

Nir Shavit

Leads

Nir Shavit

Research Areas

Impact Areas

Lead

Nir Shavit

Research Group

Quantum Information Science Group

Our research interests center around the capabilities and limits of quantum computers, and computational complexity theory more generally.

Peter Shor

Leads

Peter Shor

Research Areas

Impact Areas

Lead

Peter Shor

Research Group

Robot Locomotion Group

We research building machines which exploit their natural dynamics to achieve extraordinary agility and efficiency.

Russ Tedrake

Leads

Russ Tedrake

Research Areas

Impact Areas

Lead

Russ Tedrake

Research Group

Robust Robotics Group

We build unmanned vehicles that can fly and drive without maps or GPS.

Nicholas Roy

Leads

Nicholas Roy

Research Areas

Impact Areas

Lead

Nicholas Roy

Community of Research

Theory of Computation Community of Research

The goal of the Theory of Computation CoR is to study the fundamental strengths and limits of computation as well as how these interact with mathematics, computer science, and other disciplines.

+20

Costis Daskalakis

Leads

Costis Daskalakis

Research Areas

Computational Biology

Impact Areas

Lead

Costis Daskalakis

+20

Costis Daskalakis

Research Group

Theory of Distributed Systems Group

We work on a wide range of problems in distributed computing theory. We study algorithms and lower bounds for typical problems that arise in distributed systems---like resource allocation, implementing shared memory abstractions, and reliable communication.

Nancy Lynch

Leads

Nancy Lynch

Research Areas

Impact Areas

Lead

Nancy Lynch

Community of Research

Vertical AI Community of Research

This CoR takes a unified approach to cover the full range of research areas required for success in artificial intelligence, including hardware, foundations, software systems, and applications.

Martin Rinard

Leads

Martin Rinard

Research Areas

Computer-Aided Programming

Impact Areas

Lead

Martin Rinard

25 Project Results

Project

An Interlock for Self Driving Cars

Software Design Group

Vertical AI Community of Research

Human-Computer Interaction Community of Research

Self-driving cars are likely to be safer, on average, than human-driven cars. But they may fail in new and catastrophic ways that a human driver could prevent. This project is designing a new architecture for a highly dependable self-driving car.

Daniel Jackson

Armando Solar-Lezama

Leads

Daniel Jackson

Armando Solar-Lezama

Research Areas

Impact Areas

Computation Structures Group

Daniel Jackson

Armando Solar-Lezama

Project

Artificial Social Intelligence for Successful Teams (ASIST)

Computational Cognitive Science Group

Model-Based Embedded and Robotics Systems Group

Our goal is to develop a socially intelligent team coacher agent that helps humans communicate, strategize, and work together efficiently.

Leads

Howard Shrobe

Brian Williams

Boris Katz

Zhutian Yang

Research Areas

Computer Architecture

Impact Areas

Wireless

Project

Better Models for Ride-Sharing

Traffic is not just a nuisance for drivers: It’s also a public health hazard and bad news for the economy.

Leads

Research Areas

Impact Areas

Project

Computational Multicopter Design

Computer Graphics Group

A system that can help you to design our own drone!

Tao Du

Leads

Tao Du

Research Areas

Impact Areas

Cryptography and Information Security Group

Tao Du

Project

Data Garbling: Computing on Encrypted Data

Theory of Computation Community of Research

We are investigating the limits of computing on encrypted data, with a focus on the private outsourcing of computation over sensitive data.

Leads

Research Areas

Impact Areas

Project

Deterministic Algorithms for Robotic Task and Motion Planning

Our goal is to investigate deterministic algorithms for robotic task and motion planning.

Leads

Research Areas

Impact Areas

Project

Driver-Friendly Bilateral Control for Suppressing Traffic Instabilities

Vision Group

We are studying how best to implement bilateral control and make it acceptable to drivers

Berthold Horn

Leads

Berthold Horn

Research Areas

Impact Areas

Berthold Horn

Project

Drones that Drive

Multi-robot path planning for robot swarms that can both fly and drive

Leads

Research Areas

Impact Areas

Model-Based Embedded and Robotics Systems Group

Project

Geordi: A Driver's Assistant for Risk-bounded Maneuvering

Cognitive AI Community of Research

Our goal is to create an online risk-aware planner for vehicle maneuvers that can make driving safer and less stressful through a “parallel” autonomous system that assists the driver by watching for risky situations, and by helping the driver take proactive, compensating actions before they become crises.

Brian Williams

Leads

Brian Williams

Research Areas

Impact Areas

Brian Williams

Project

Planning in Congestion for Autonomous Vehicles

Our goal is to develop an autonomous vehicle control strategy that adapts on-line to varying levels of congestion in the environment.

Leads

Alyssa Pierson

Wilko Schwarting

Sertac Karaman

Daniela Rus

Research Areas

Impact Areas

Project

Printable Hydraulics

Printable Hydraulics allows fluid-actuated robots to be automatically fabricated using 3D printers.

Youbin Kim

Leads

Research Areas

Impact Areas

Youbin Kim

Project

Privacy-Preserving Decentralized Optimization

To enable privacy preservation in decentralized optimization, differential privacy is the most commonly used approach. However, under such scenario, the trade-off between accuracy (even efficiency) and privacy is inevitable. In this project, distributed numerical optimization scheme incorporated with lightweight cryptographic information sharing are explored. The affect on the convergence rate from network topology is considered.

Hanshen Xiao

Leads

Hanshen Xiao

Research Areas

Impact Areas

Wireless

Hanshen Xiao

Project

Random Graph with Applications in MPC

To explore how randomness in connectivity can improve the performance of secure multi-party computation (MPC) and the properties of communication graph to support MPC.

Leads

Research Areas

Impact Areas

Project

Reliable and Robust Machine Learning

Algorithms Group

We work towards a principled understanding of the current machine learning toolkit and making this toolkit be robust and reliable.

Aleksander Madry

Leads

Aleksander Madry

Research Areas

Impact Areas

Aleksander Madry

Project

Robotic Planning and Manipulation with Force Information

Our goal is to allow planners to exploit the forces and contacts between objects so as to carry out complex manipulation tasks in the presence of uncertainty.

Leads

Gustavo N. Goretkin

Leslie Kaelbling

Tomas Lozano-Perez

Research Areas

Impact Areas

Project

Robust Intelligent Robots

How can a mobile-manipulation robot operate robustly and flexibly in complicated uncertain environments, such as households and disaster zones.

Leslie Kaelbling

Tomas Lozano-Perez

Leads

Leslie Kaelbling

Tomas Lozano-Perez

Research Areas

Impact Areas

Leslie Kaelbling

Tomas Lozano-Perez

Project

Robust Learning for Autonomous Vehicles

Our goal is to create a theoretical framework and effective machine learning algorithms for robust, reliable control of autonomous vehicles. Key threads include developing metrics of confidence; and designing deep learning algorithms for parallel autonomy.

Daniela Rus

Alexander Amini

Leads

Daniela Rus

Alexander Amini

Research Areas

Impact Areas

Daniela Rus

Alexander Amini

Project

Route and Motion Planning for Mobility-on-Demand with Rules of the Road

Ensuring correct behavior of autonomous vehicles with respect to rules of the road

Sertac Karaman

Daniela Rus

Leads

Sertac Karaman

Daniela Rus

Research Areas

Impact Areas

Sertac Karaman

Daniela Rus

Project

Safety Standards for Autonomous Vehicles

In this project, we aim to develop a framework that can ensure and certify the safety of an autonomous vehicle. By leveraging research from the area of formal verification, this framework aims to assess the safety, i.e., free of collisions, of a broad class of autonomous car controllers/planners for a given traffic model.

Leads

Lucas Liebenwein

Wilko Schwarting

Daniela Rus

Research Areas

Impact Areas

Project

Self-Driving Vehicles

We want to help to make driving more comfortable, environmentally friendly and above all safer!

+10

Leads

Russ Tedrake

John Leonard

Daniela Rus

Sertac Karaman

Research Areas

Impact Areas

+10

Project

Socially-Compliant Behavior for Autonomous Driving

Bringing human-like decision making to autonomous driving.

Leads

Wilko Schwarting

Alyssa Pierson

Sertac Karaman

Javier Alonso-Mora

Daniela Rus

Research Areas

Impact Areas

Project

SoFi - The Soft Robotic Fish

Exploration of underwater life with an acoustically controlled soft robotic fish

Joseph DelPreto

Leads

Joseph DelPreto

Research Areas

Impact Areas

Entertainment

Joseph DelPreto

Project

Task and Motion Planning for Autonomous Robots

Our goal is to design algorithms that enable robots to operate in human environments by simultaneously reasoning about high-level task actions as well as low-level motions.

Leads

Caelan Garrett

Leslie Kaelbling

Tomas Lozano-Perez

Research Areas

Impact Areas

Project

Video Data Querying

Data Systems Group

We are developing machine-learning technology to help users efficiently run data queries over large archives of raw video.

Sam Madden

Favyen Bastani

Leads

Sam Madden

Favyen Bastani

Research Areas

Impact Areas

Entertainment

Robust Learning for Autonomous Vehicles

Sam Madden

Favyen Bastani

20 People Results

Alexander Amini

Graduate Student

PhD Candidate. Deep Learning; Robotics

E Amini@mit.edu

Lead

Member

PhD Candidate. Deep Learning; Robotics

Brandon Araki

Graduate Student

E araki@csail.mit.edu

Noam Buckman

Graduate Student

PhD Candidate. Autonomous vehicles. Multi-robot systems.

E nbuckman@mit.edu

Member

Sensorized Soft Electric Hands with Handed Shearing Auxetics

PhD Candidate. Autonomous vehicles. Multi-robot systems.

Lillian Chin

Graduate Student

E ltchin@mit.edu

Lead

Member

Mustafa Doga Dogan

Graduate Student

E doga@mit.edu

Member

HCI Engineering Group

Igor Gilitschenski

Research Scientist

E igilitschenski@mit.edu

Member

Cryptography and Information Security Group

PI
Core/Dual

Shafi Goldwasser

Professor

Theory, cryptography, cybersecurity, complexity

E shafi@csail.mit.edu

T 253-5914

Lead

Complexity Theory Group

Member

Computation Structures Group

Computational Connectomics Group

Theory of Computation Community of Research

Theory, cryptography, cybersecurity, complexity

PI
Core/Dual

Berthold Horn

Professor

Vision, computational imaging

E bkph@csail.mit.edu

T 253-5863

Lead

Vision Group

Driver-Friendly Bilateral Control for Suppressing Traffic Instabilities

Member

Visual Computing Community of Research

Vision, computational imaging

PI
Core/Dual

Dina Katabi

Professor

Wireless, networks, machine learning

E dina@csail.mit.edu

T 324-6027

Lead

Networks at MIT

EQ-Radio: Emotion Recognition using Wireless Signals

Member

Vertical AI Community of Research

Wireless, networks, machine learning

PI
Core/Dual

John Leonard

Professor

Robotics, navigation/mapping, self-driving cars

E jleonard@csail.mit.edu

T 253-5305

Lead

Marine Robotics Group

Member

Safety Standards for Autonomous Vehicles

Robotics, navigation/mapping, self-driving cars

Lucas Liebenwein

Graduate Student

Student and Researcher | Robotics, AI | Advanced Autonomy

E lucasl@mit.edu

RM 32-376C

Lead

Member

Coresets for Machine Learning Algorithms

Student and Researcher | Robotics, AI | Advanced Autonomy

Alyssa Pierson

Research Scientist

E apierson@csail.mit.edu

Lead

Planning in Congestion for Autonomous Vehicles

Socially-Compliant Behavior for Autonomous Driving

Member

Cryptography and Information Security Group

PI
Core/Dual

Ronald Rivest

Institute Professor

Cryptography, cybersecurity, RSA public-key encryption

E rivest@mit.edu

T 253-5880

Lead

Member

Theory of Computation Community of Research

Computing & Society Community of Research

Cryptography, cybersecurity, RSA public-key encryption

PI
Core/Dual

Nicholas Roy

Professor

Robotics, autonomy, artificial intelligence, motion planning

E nickroy@csail.mit.edu

T 253-2517

Lead

Robust Robotics Group

Inferring 3D Shape Distributions for Robot Perception and Planning

Member

Enabling Semantic Understanding for Autonomous Marine Robots

Robotics, autonomy, artificial intelligence, motion planning

PI
Core/Dual

Daniela Rus

Director

CSAIL director, robotics, AI, data science, privacy

E rus@csail.mit.edu

T 258-7567

RM 32/ 32-368/ 374

Lead

Social Network Extraction from GPS Datasets with Coresets

Safety Standards for Autonomous Vehicles

Soft Contact Modeling

Practical Secure Computation

Robust Learning for Autonomous Vehicles

Brain-Controlled Robots

Planning in Congestion for Autonomous Vehicles

Socially-Compliant Behavior for Autonomous Driving

Coresets for Machine Learning Algorithms

M-Blocks Modular Robotics

Robot Compiler

Distributed Robot Garden

Route and Motion Planning for Mobility-on-Demand with Rules of the Road

Member

Social Network Extraction from GPS Datasets with Coresets

Task-Driven Co-Optimization Of Articulated Robots

Wearable Blind Navigation

Drones that Drive

Better Models for Ride-Sharing

SoFi - The Soft Robotic Fish

Controlling drones and other robots with gestures

Using Muscle Signals to Lift Objects with Robots

Helping robots learn using demonstrations

CSAIL director, robotics, AI, data science, privacy

Wilko Schwarting

Graduate Student

E wilkos@mit.edu

Lead

Safety Standards for Autonomous Vehicles

Planning in Congestion for Autonomous Vehicles

Socially-Compliant Behavior for Autonomous Driving

Member

Localizing External Contact Using Proprioceptive Sensors

PI
Core/Dual

Russ Tedrake

Professor

Robotics, machine learning, motion planning and control

E russt@csail.mit.edu

T 253-1778

RM 32-380B

Lead

Robot Locomotion Group

Tactile and Physical Perception

Soft Contact Modeling

Tactile and Physical Perception

Member

Task-Driven Co-Optimization Of Articulated Robots

Center for Deployable Machine Learning (CDML)

Computational Cognitive Science Group

Robotics, machine learning, motion planning and control

Joshua Tenenbaum

Professor

Computational cognitive science, machine learning

E jbt@csail.mit.edu

T 452-2010

RM 46-4015

Lead

Member

Center for Brains, Minds and Machines

Single-Image 3D Interpreter Network

3D Generative Adversarial Networks