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

Impact Areas

Lead

Una-May O'Reilly

Research Group

Center for Brains, Minds and Machines

Our main goal is developing a computationally based understanding of human intelligence and establishing an engineering practice based on that understanding.

Tomaso Poggio

Leads

Tomaso Poggio

Research Areas

Impact Areas

Lead

Tomaso Poggio

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

Impact Areas

Manufacturing

Lead

Peter Szolovits

+10

Peter Szolovits

Research Group

Computation and Biology

Our lab focuses on designing algorithms to gain biological insights from advances in automated data collection and the subsequent large data sets drawn from them.

Bonnie Berger

Leads

Bonnie Berger

Research Areas

Impact Areas

Lead

Bonnie Berger

Research Group

Computational Biology Group

We seek to understand the mechanistic basis of human disease, using a combination of computational and experimental techniques.

Manolis Kellis

Leads

Manolis Kellis

Research Areas

Impact Areas

Lead

Manolis Kellis

Research Group

Computational Cognitive Science Group

We study the computational basis of human learning and inference.

Joshua Tenenbaum

Leads

Joshua Tenenbaum

Research Areas

Impact Areas

Lead

Joshua Tenenbaum

Research Group

Computational Connectomics Group

Our group’s goal is to create, based on such microscopic connectivity and functional data, new mathematical models explaining how neural tissue computes.

Nir Shavit

Leads

Nir Shavit

Research Areas

Impact Areas

Lead

Nir Shavit

Research Group

Computational Genomics Group

We develop new machine learning techniques and algorithms to model the transcriptional regulatory networks that control gene expression programs in living cells.

Dave Gifford

Leads

Dave Gifford

Research Areas

Impact Areas

Lead

Dave Gifford

Research Group

Computational Perception & Cognition

We combine methods from computer science, neuroscience and cognitive science to explain and model how perception and cognition are realized in human and machine.

Aude Oliva

Leads

Aude Oliva

Research Areas

Impact Areas

Lead

Aude Oliva

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

Security & Cryptography

Impact Areas

Lead

Daniel Weitzner

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

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

Medical Vision Group

We develop new algorithms for medical image analysis and visualization of medical imagery.

Polina Golland

Leads

Polina Golland

Research Areas

Impact Areas

Lead

Polina Golland

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

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.

+21

Sam Madden

Leads

Sam Madden

Research Areas

Security & Cryptography

Impact Areas

Lead

Sam Madden

+21

Sam Madden

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

Research Group

Tidor Lab

We focus on the analysis of complex biological systems at both the molecular level and the systems level.

Bruce Tidor

Leads

Bruce Tidor

Research Areas

Impact Areas

Lead

Bruce Tidor

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

Security & Cryptography

Impact Areas

Lead

Martin Rinard

Research Group

Weiss Laboratory for Synthetic Biology

The Weiss Lab seeks to create integrated biological systems capable of autonomously performing useful tasks, and to elucidate the design principles underlying complex phenotypes.

Leads

Research Areas

Impact Areas

Computation Structures Group

24 Project Results

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

Impact Areas

Weiss Laboratory for Synthetic Biology

Wireless

Project

Artificial tissue homeostasis

In order to be able to design synthetic organs that function autonomously, we will need to engineer artificial tissue homeostasis. To control the size of these artificial tissues, two major mechanisms will have to be engineered.

Leads

Research Areas

Impact Areas

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

Clinical Intervention Prediction with Neural Networks

Integrating multi-modal clinical data and using recurrent and convolution neural networks to predict when patients will need important interventions.

Leads

Research Areas

Impact Areas

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

Drug Target Identification Via Computational Modeling

Tidor Lab

We use computational models of biological pathways in disease to estimate the range of possible responses to various hypothetical drugs, given patient variability and limited pathway-relevant data.

Leads

Research Areas

Impact Areas

Weiss Laboratory for Synthetic Biology

Project

Flexible cellular platforms for reconfigurable biocircuits

Existing methods for cloning and recombination of DNA enable construction of arbitrary sequences. However, the sequential nature of these techniques makes them time-consuming and expensive. Furthermore, while the transformation of an existing plasmid into a host strain can be reliable when a selection marker is used, there are many current limitations: the number of different plasmids that can be co-transformed is limited by the choice of markers and compatible origins of replication; plasmids are less stable than chromosomal DNA and are difficult to maintain indefinitely without mutation; and cistronic interactions cannot be designed since each new nucleotide sequence added is on an unconnected DNA molecule. To overcome these limitations, we are designing reconfigurable chromosomes consisting of both fixed and variable regions. While the fixed region is carefully optimized and tuned ahead of time, the variable region can be modified in the field, at the point-of-use, leading to rapid and on-demand realization of novel biocircuits with many different phenotypes.

Leads

Research Areas

Impact Areas

Geometric Data Processing Group

Project

Geometry and topology for scientific computing and shape analysis

Computer Graphics Group

Developing state-of-the-art tools that process 3D surfaces and volumes

Justin Solomon

Leads

Justin Solomon

Research Areas

Impact Areas

Data-Driven Inference Group

Justin Solomon

Project

Hidden Influencers, Risk and Causes of Infection

We aim to study the causes and transmission modes of infectious diseases among members of a community in the presence of hidden, asymptomatic spreaders of the pathogen.

Maggie Makar

John Guttag

Leads

Maggie Makar

John Guttag

Research Areas

Impact Areas

Maggie Makar

John Guttag

Project

Jenga: Using chip memory more efficiently

Our system for generating ad hoc “cache hierarchies” increases processing speed while reducing energy consumption

Leads

Research Areas

Impact Areas

Spoken Language Systems Group

Project

Low-Power Speech Processing Circuits

The creation of low-power circuits capable of speech recognition and speaker verification will enable spoken interaction on a wide variety of devices in the era of Internet of Things.

Leads

Research Areas

Impact Areas

Project

Metagenomic Binning Through Low-Density Hashing

Our goal is to develop better metagenomic binning by origin species of fragments of sequenced environmental DNA.

Bonnie Berger

Leads

Bonnie Berger

Research Areas

Impact Areas

Bonnie Berger

Project

Population-level Tumor Growth Inhibition Modeling

Tidor Lab

We develop, parameterize, and validate a model for tumor growth inhibition using in vivo mouse data and study the effects of modeling uncertainty and inter-individual variability on drug candidate efficacy predictions.

Leads

Research Areas

Impact Areas

Data-Driven Inference Group

Project

Predicting Adverse Events Across Changing Electronic Health Record Systems

Transitioning machine learning models across electronic health record (EHR) versions can be improved by mapping different EHR encodings to a common vocabulary.

John Guttag

Peter Szolovits

Leads

John Guttag

Peter Szolovits

Research Areas

Impact Areas

Computational Connectomics Group

John Guttag

Peter Szolovits

Project

Reconstructing Neural Circuits from Mammalian Brain

Theory of Computation Community of Research

We develop algorithms, systems and software architectures for automating reconstruction of accurate representations of neural tissue structures, such as nanometer-scale neurons' morphology and synaptic connections in the mammalian cortex.

Yaron Meirovitch

Nir Shavit

Leads

Yaron Meirovitch

Nir Shavit

Research Areas

Impact Areas

Yaron Meirovitch

Nir Shavit

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

Clinical Decision-Making Group

Project

Semi-Supervised Regression with Cycle Wasserstein Regression GANs

Using adversarial signals and a cycle-consistency based regularization, we can supplement paired regression tasks with unpaired data to improve regression performance.

Leads

Research Areas

Impact Areas

Project

Structure-based Inhibitor Design Against ZIKV Protease

Tidor Lab

This project uses computational biology and chemistry tools to design a pharmaceutical to combat the Zika Virus.

Leads

Research Areas

Impact Areas

Project

Tiramisu Compiler

Commit Group

A polyhedral compiler for expressing image processing, DNN, and linear/tensor algebra applications

Saman Amarasinghe

Leads

Saman Amarasinghe

Research Areas

Theory of Computation Community of Research

Impact Areas

Saman Amarasinghe

Project

Towards Context-Aware Functional Genomics

Computation and Biology

We aim to develop a context-aware data-driven functional genomics framework that can characterize tissue-specific gene representations, provide context-aware genotype to phenotype mapping, and enable network-based exploration of disease genetics.

Bonnie Berger

Leads

Bonnie Berger

Research Areas

Impact Areas

Model-Based Embedded and Robotics Systems Group

Bonnie Berger

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

Impact Areas

Entertainment

Clinical Decision-Making Group

Manufacturing

Project

Using Clinical Domain Knowledge for Processing Physiological Data

Using medical knowledge to improve learned representations of patient health trajectories.

Leads

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

Natural Language Processing Group

Sam Madden

Favyen Bastani

17 People Results

Leandro Agudelo

Research Scientist

Systems Genomics, CompBio, Topological Integrative Biology, Biology

E lagudelo@csail.mit.edu

Systems Genomics, CompBio, Topological Integrative Biology, Biology

PI
Core/Dual

Regina Barzilay

Professor

Natural language processing, machine learning

E regina@csail.mit.edu

T 258-5706

Lead

Aspect-Augmented Adversarial Networks for Domain Adaptation

Member

Vertical AI Community of Research

Covering All K-mers Using Joker Characters

Natural language processing, machine learning

PI
Core/Dual

Bonnie Berger

Professor

Computational biology, genomics

E bab@csail.mit.edu

T 253-1827

Lead

Towards Context-Aware Functional Genomics

Metagenomic Binning Through Low-Density Hashing

Computation and Biology

Member

Computation Structures Group

Theory of Computation Community of Research

Decentralized Information Group

Computational biology, genomics

PI
Core/Dual

Tim Berners-Lee

Professor

Systems, privacy, inventor of the World Wide Web

E timbl@w3.org

T 253-5702

Lead

World Wide Web Consortium

Solid: Social Linked Data

Member

Computing & Society Community of Research

Systems, privacy, inventor of the World Wide Web

Barış Ekim

Graduate Student

E ekim@csail.mit.edu

PI
Core/Dual

John Guttag

Professor

Machine learning, medicine, data-driven inference

E guttag@csail.mit.edu

T 253-6022

Lead

Data-Driven Inference Group

Hidden Influencers, Risk and Causes of Infection

Predicting Adverse Events Across Changing Electronic Health Record Systems

Machine Learning for Insights in Basketball Strategy

Detecting Voice Misuse to Diagnose Disorders

Member

Systems Community of Research

Machine learning, medicine, data-driven inference

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

Konstantin Krismer

Graduate Student

E krismer@mit.edu

Member

Computational Genomics Group

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

Internet Policy Research Initiative

Samuel Sledzieski

Graduate Student

E samsl@csail.mit.edu

PI
Core/Dual

Gerald Sussman

Professor

Artificial intelligence, supercomputers

E gjs@csail.mit.edu

T 253-5874

RM 32/ 32-G508/ G514

Lead

Sussman Lab

The Car Can Explain!

Member

Computing & Society Community of Research

Artificial intelligence, supercomputers

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

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

Joshua Tenenbaum

Professor

Computational cognitive science, machine learning

E jbt@csail.mit.edu

T 452-2010

RM 46-4015

Lead

Computational Cognitive Science Group

Member

Center for Brains, Minds and Machines

Single-Image 3D Interpreter Network

3D Generative Adversarial Networks

Embodied Intelligence Community of Research

Visual Computing Community of Research

Computational cognitive science, machine learning

Yu Wang

Graduate Student

E wangyu9@mit.edu

RM 32-D475A

Member

Geometric Data Processing Group

Geometry and topology for scientific computing and shape analysis

PI
Core/Dual

Daniel Weitzner

Principal Research Scientist

Web policy, cybersecurity, web architecture

E djweitzner@csail.mit.edu

T 253-8036

Lead

Internet Policy Research Initiative

Keys Under Doormats

Computing & Society Community of Research

Member

Data Systems Group

Web policy, cybersecurity, web architecture

PI
Core/Dual

Brian Williams

Professor

Robotics, autonomy, artificial intelligence, machine learning

E williams@csail.mit.edu

T 253-2739

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