Research

  • Impact Areas
  • Research Areas

Algorithms & Theory

Foundational work that includes complexity, parallel computing and game theory

AI & ML

Spanning natural language processing, deep-learning, computer vision and more

Computational Biology

Understanding disease via epigenomics, gene regulation and bioinformatics

Computer Architecture

How CPUs, memory and other systems are designed and organized

Graphics & Vision

Teaching computers to interpret, create and animate visual data

Human-Computer Interaction

Software and hardware that let us naturally interact with technology

Programming Languages & Software Engineering

From compilers and verification to software design and engineering

Robotics

Vision, actuation, sensing and manipulation of machines

Security & Cryptography

Developing technologies to prevent and recover from cyber-attacks

Systems & Networking

From distributed systems and databases to wireless

Filter options
Filter options

Filter options Close

Role

Media

Research Areas

Impact Areas

Reset Filters

21 Group Results

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.
Regina Barzilay
Berger
Michael Carbin
+6
Una-May O'Reilly

Una-May O'Reilly

Leads

Una-May O'Reilly

Una-May O'Reilly

Research Areas

AI & ML
Computational Biology
Programming Languages & Software Engineering

Impact Areas

Cybersecurity
Education
Health Care

Lead

Una-May O'Reilly

Una-May O'Reilly

Regina Barzilay
Berger
Michael Carbin
+6
 
Una-May O'Reilly

Una-May O'Reilly

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.
Brewer-headshot
Randall Davis
Kagal-headshot
+6
Howard Shrobe

Howard Shrobe

Leads

Howard Shrobe

Howard Shrobe

Research Areas

Human-Computer Interaction
Robotics
Security & Cryptography
Systems & Networking

Impact Areas

Cybersecurity
Education

Lead

Howard Shrobe

Howard Shrobe

Brewer-headshot
Randall Davis
Kagal-headshot
+6
 
Howard Shrobe

Howard Shrobe

Community of Research

Human-Computer Interaction Community of Research

The focus of the HCI CoR is inventing new systems and technology that lie at the interface between people and computation, and understanding their design, implementation, and societal impact.
Randall Davis
Fox 1
Jackson image
+4
Stefanie Mueller

Stefanie Mueller

Leads

Stefanie Mueller

Stefanie Mueller

Research Areas

Graphics & Vision
Human-Computer Interaction
Programming Languages & Software Engineering

Impact Areas

Education
Entertainment
Manufacturing

Lead

Stefanie Mueller

Stefanie Mueller

Randall Davis
Fox 1
Jackson image
+4
 
Stefanie Mueller

Stefanie Mueller

Community of Research

Systems Community of Research

The Systems CoR is focused on building and investigating large-scale software systems that power modern computers, phones, data centers, and networks, including operating systems, the Internet, wireless networks, databases, and other software infrastructure.
Alizadeh-headshot
Arvind
Hari Balakrishnan
+21
Madden

Sam Madden

Leads

Madden

Sam Madden

Research Areas

Computer Architecture
Programming Languages & Software Engineering
Security & Cryptography
Systems & Networking

Impact Areas

Big Data
Cybersecurity
Internet of Things
Transportation
Wireless

Lead

Madden

Sam Madden

Alizadeh-headshot
Arvind
Hari Balakrishnan
+21
 
Madden

Sam Madden

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.
Amarasinghe
Regina Barzilay
Broderick-headshot
+7
Rinard

Martin Rinard

Leads

Rinard

Martin Rinard

Research Areas

Algorithms & Theory
AI & ML
Graphics & Vision
Programming Languages & Software Engineering
Security & Cryptography
Systems & Networking

Impact Areas

Big Data
Cybersecurity
Health Care
Internet of Things
Transportation
Wireless

Lead

Rinard

Martin Rinard

Amarasinghe
Regina Barzilay
Broderick-headshot
+7
 
Rinard

Martin Rinard

29 Project Results

Project

Active Learning of Models for Planning

Learning and Intelligent Systems
Machine Learning
We aim to develop a systematic framework for robots to build models of the world and to use these to make effective and safe choices of actions to take in complex scenarios.
Kaelbling

Leslie Kaelbling

Lozano-Perez

Tomas Lozano-Perez

Leads

Kaelbling

Leslie Kaelbling

Lozano-Perez

Tomas Lozano-Perez

Research Areas

Algorithms & Theory
AI & ML
Human-Computer Interaction
Robotics

Impact Areas

Big Data
Education
Entertainment
 
Kaelbling

Leslie Kaelbling

Lozano-Perez

Tomas Lozano-Perez

Project

Alloy

Software Design Group
Human-Computer Interaction Community of Research
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. Hundreds of projects have used Alloy for design analysis, for verification, for simulation, and as a backend for many other kinds of analysis and synthesis tools, and Alloy is currently being taught in courses worldwide.
Jackson image

Daniel Jackson

Leads

Jackson image

Daniel Jackson

Research Areas

Human-Computer Interaction
Programming Languages & Software Engineering
Security & Cryptography

Impact Areas

Big Data
Cybersecurity
Education
Transportation
Wireless
 
Jackson image

Daniel Jackson

Project

An Interlock for Self Driving Cars

Software Design Group
Computer-Aided Programming
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.
Jackson image

Daniel Jackson

Solar-Lezama

Armando Solar-Lezama

Leads

Jackson image

Daniel Jackson

Solar-Lezama

Armando Solar-Lezama

Research Areas

AI & ML
Human-Computer Interaction
Programming Languages & Software Engineering
Robotics
Systems & Networking

Impact Areas

Transportation
 
Jackson image

Daniel Jackson

Solar-Lezama

Armando Solar-Lezama

Project

Artificial Social Intelligence for Successful Teams (ASIST)

Computation Structures Group
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

Howard Shrobe

Williams

Brian Williams

Katz

Boris Katz

default headshot

Zhutian Yang

Research Areas

Computer Architecture
Human-Computer Interaction
Robotics

Impact Areas

Health Care
Transportation
Wireless

Project

Determining Wikipedia's Influence on Science

Supertech Research Group
Wikipedia is one of the most widely accessed encyclopedia sites in the world, including by scientists. Our project aims to investigate just how far Wikipedia’s influence goes in shaping science.
Neil Thompson Headshot

Neil Thompson

Professor Charles E. Leiserson

Charles E. Leiserson

Leads

Neil Thompson Headshot

Neil Thompson

Professor Charles E. Leiserson

Charles E. Leiserson

Research Areas

Algorithms & Theory
Human-Computer Interaction
Programming Languages & Software Engineering

Impact Areas

Big Data
Education
 
Neil Thompson Headshot

Neil Thompson

Professor Charles E. Leiserson

Charles E. Leiserson

Project

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

Model-Based Embedded and Robotics Systems Group
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.
Williams

Brian Williams

Leads

Williams

Brian Williams

Research Areas

Robotics

Impact Areas

Transportation
 
Williams

Brian Williams

Project

Safety Standards for Autonomous Vehicles

Distributed Robotics Laboratory
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_Pic

Lucas Liebenwein

default headshot

Wilko Schwarting

Rus

Daniela Rus

Research Areas

Algorithms & Theory
Robotics

Impact Areas

Transportation

22 People Results

Jackson image

PI
Core/Dual

Daniel Jackson

Professor
Software design, programming, systems
Jackson image
T 258-8471
RM 32-G704

Lead

Human-Computer Interaction
Software Design Group
Rethinking Software Design
Gitless: a simple version control system built on top of Git
Déjà Vu: Constructing Apps from Concepts
Security by Design for Cyberphysical Systems
Poirot: Secure Protocol Implementation by Design
An Interlock for Self Driving Cars
Alloy
Wildcard

Member

Espalier
Human-Computer Interaction Community of Research
Systems Community of Research
Wildcard
Software design, programming, systems
default headshot

Henry Lieberman

Research Scientist
Henry Lieberman is a Research Scientist at MIT CSAIL, in AI and HCI.
default headshot
Henry Lieberman is a Research Scientist at MIT CSAIL, in AI and HCI.
Rus

PI
Core/Dual

Daniela Rus

Director
CSAIL director, robotics, AI, data science, privacy
Rus
T 258-7567
RM 32/ 32-368/ 374

Lead

Distributed Robotics Laboratory
Social Network Extraction from GPS Datasets with Coresets
Safety Standards for Autonomous Vehicles
Soft Contact Modeling
Practical Secure Computation
Self-Driving Vehicles
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
Embodied Intelligence Community of Research
Helping robots learn using demonstrations
CSAIL director, robotics, AI, data science, privacy
default headshot

Ryan Sander

Graduate Student
Graduate Research Assistant in MIT Distributed Robotics Laboratory
default headshot
Graduate Research Assistant in MIT Distributed Robotics Laboratory
Russ Tedrake

PI
Core/Dual

Russ Tedrake

Professor
Robotics, machine learning, motion planning and control
Russ Tedrake
T 253-1778
RM 32-380B

Lead

Robot Locomotion Group
Localizing External Contact Using Proprioceptive Sensors
Tactile and Physical Perception
Soft Contact Modeling
Self-Driving Vehicles

Member

Tactile and Physical Perception
Task-Driven Co-Optimization Of Articulated Robots
Center for Deployable Machine Learning (CDML)
Embodied Intelligence Community of Research
Robotics, machine learning, motion planning and control
Williams

PI
Core/Dual

Brian Williams

Professor
Robotics, autonomy, artificial intelligence, machine learning
Williams
T 253-2739
RM 32-227

Lead

Model-Based Embedded and Robotics Systems Group
RADMAX
Geordi: A Driver's Assistant for Risk-bounded Maneuvering
Robots Adapting to Human Intent
Risk-aware Network Resource Allocation
Uhura: Personal Assistant that Manages Risk
Artificial Social Intelligence for Successful Teams (ASIST)

Member

Cognitive AI Community of Research
Robotics, autonomy, artificial intelligence, machine learning

19 News Results

F. Harrell
AI & ML Programming Languages & Software Engineering Education Entertainment

3Q: D. Fox Harrell on his video game for the #MeToo era

The Imagination, Computation, and Expression Laboratory at MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL) has released a new video game called Grayscale, which is designed to sensitize players to problems of sexism, sexual harassment, and sexual assault in the workplace.

3Q: D. Fox Harrell on his video game for the #MeToo era

System directs camera-equipped drones to maintain framing of an aerial shot.
Algorithms & Theory AI & ML Graphics & Vision Robotics Entertainment Transportation

Cinematography on the fly

In recent years, a host of Hollywood blockbusters — including “The Fast and the Furious 7,” “Jurassic World,” and “The Wolf of Wall Street” — have included aerial tracking shots provided by drone helicopters outfitted with cameras. Those shots required separate operators for the drones and the cameras, and careful planning to avoid collisions. But a team of researchers from MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL) and ETH Zurich hope to make drone cinematography more accessible, simple, and reliable.

Cinematography on the fly