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

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

Human-Computer Interaction

Security & Cryptography

Impact Areas

Lead

Daniel Weitzner

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

Graphics & Vision

Impact Areas

Lead

Justin Solomon

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

Cybersecurity

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

Big Data

Cybersecurity

Lead

Peter Shor

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

Programming Languages & Software Engineering

Graphics & Vision

Security & Cryptography

Impact Areas

Lead

Martin Rinard

7 Project Results

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

Big Data

Learning and Intelligent Systems

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

Manufacturing

Project

Drones that Drive

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

Leads

Research Areas

Impact Areas

Project

Helping robots learn using demonstrations

Help robots learn faster by providing demonstrations when they need help

Joseph DelPreto

Leads

Joseph DelPreto

Research Areas

Human-Computer Interaction

Impact Areas

Manufacturing

Joseph DelPreto

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

Model-Based Embedded and Robotics Systems Group

Project

Uhura: Personal Assistant that Manages Risk

Computation Structures Group

Uhura is an autonomous system that collaborates with humans in planning and executing complex tasks, especially under over-subscribed and risky situations.

Leads

Yuening Zhang

Brian Williams

Howard Shrobe

Research Areas

Human-Computer Interaction

Impact Areas

Entertainment

Health Care

Manufacturing

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

Programming Languages & Software Engineering

Impact Areas

Big Data

Entertainment

EQ-Radio: Emotion Recognition using Wireless Signals

Sam Madden

Favyen Bastani

8 People Results

PI
Core/Dual

Dina Katabi

Professor

Wireless, networks, machine learning

E dina@csail.mit.edu

T 324-6027

Lead

Networks at MIT

Member

Vertical AI Community of Research

Wireless, networks, machine learning

Lucas Liebenwein

Graduate Student

Student and Researcher | Robotics, AI | Advanced Autonomy

E lucasl@mit.edu

RM 32-376C

Lead

Safety Standards for Autonomous Vehicles

Member

Self-Driving Vehicles

Coresets for Machine Learning Algorithms

Student and Researcher | Robotics, AI | Advanced Autonomy

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

Self-Driving Vehicles