Research

Impact Areas

Lead

Aleksander Madry

Research Group

Commit Group

We focus on finding novel approaches to improve the performance of modern computer systems without unduly increasing the complexity faced by application developers, compiler writers, or computer architects.

Saman Amarasinghe

Leads

Saman Amarasinghe

Research Areas

Impact Areas

Lead

Saman Amarasinghe

Research Group

Computation Structures Group

Our mission is fostering the creation and development of high-performance, reliable and secure computing systems that are easy to interact with.

+21

Leads

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

Research Areas

Impact Areas

Lead

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

+21

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

Computational Biology

Impact Areas

Lead

Polina Golland

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

Impact Areas

Lead

Sam Madden

+21

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.

Martin Rinard

Leads

Martin Rinard

Research Areas

Impact Areas

Lead

Martin Rinard

Research Group

Vision Group

Our researchers create state-of-the-art systems to better recognize objects, people, scenes, behaviors and more, with applications in health-care, gaming, tagging systems and more.

Leads

Ted Adelson

Fredo Durand

John Fisher

William Freeman

Polina Golland

Eric Grimson

Berthold Horn

Aude Oliva

Antonio Torralba

Research Areas

Impact Areas

Entertainment

Lead

Ted Adelson

Fredo Durand

John Fisher

William Freeman

Polina Golland

Eric Grimson

Berthold Horn

Aude Oliva

Antonio Torralba

Community of Research

Visual Computing Community of Research

The shared mission of Visual Computing is to connect images and computation, spanning topics such as image and video generation and analysis, photography, human perception, touch, applied geometry, and more.

+10

William Freeman

Leads

William Freeman

Research Areas

Impact Areas

Entertainment

Computational Cognitive Science Group

Lead

William Freeman

+10

William Freeman

20 Project Results

Project

A Counterfactual Simulation Model of Causal Judgment

Cognitive AI Community of Research

We develop a computational model that explains how people make causal judgments in physical scenes by mentally simulating counterfactual outcomes and comparing those to what actually happened.

Leads

Research Areas

Impact Areas

Education

Project

Artificial Co-driver

By observing driver in real road situations, we learn a computer assistant that can make driving easier, safer and more enjoyable.

Leads

Research Areas

Impact Areas

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

Project

Cardiac MRI analysis

We develop image analysis algorithms for whole-heart cardiac MRI in patients with severe congenital heart disease.

Polina Golland

Leads

Polina Golland

Research Areas

Impact Areas

Polina Golland

Project

Characterizing the Sensitivity of Vision-in-the-Loop Driving Controllers Using CG

We work on understanding and improving vision algorithms used for self driving cars, by introducing synthetic data-sets to the loop.

Leads

Research Areas

Impact Areas

Project

Clinical Neuroimaging

We develop novel algorithms for neuroimage segmentation, registration, and joint modeling of brain structure with clinical and genetic data.

Polina Golland

Leads

Polina Golland

Research Areas

Impact Areas

Polina Golland

Project

Computational Multicopter Design

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

Tao Du

Leads

Tao Du

Research Areas

Impact Areas

Energy

Manufacturing

Tao Du

Project

Driver-Friendly Bilateral Control for Suppressing Traffic Instabilities

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

Berthold Horn

Leads

Berthold Horn

Research Areas

Impact Areas

Geometric Data Processing Group

Berthold Horn

Project

Geometry and topology for scientific computing and shape analysis

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

Justin Solomon

Leads

Justin Solomon

Research Areas

Impact Areas

Programming Languages & Verification

Justin Solomon

Project

Kami: A Modular Deductive Hardware Verification Platform

A framework to support implementing, specifying, verifying, and compiling hardware designs, modularly

Adam Chlipala

Leads

Adam Chlipala

Research Areas

Impact Areas

Spoken Language Systems Group

Adam Chlipala

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

Monitoring Fetal Health

We develop algorithms for fetal MRI interpretation, to enable noninvasive fetal monitoring from MRI.

Polina Golland

Leads

Polina Golland

Research Areas

Impact Areas

Polina Golland

Project

Peripheral Vision and Driver Behavior

Our goal is to understand what drivers can perceive when they are not attending to the road ahead and the consequences of their perceptions for safety.

Leads

Research Areas

Impact Areas

Project

Quantification of Pulmonary Edema in Chest Radiographs

We develop machine learning algorithms to automatically and quantitatively assess the severity of pulmonary edema from chest x-ray images.

Polina Golland

Leads

Polina Golland

Research Areas

Impact Areas

Polina Golland

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

Starling: Query Optimization for Cloud Services

Data Systems Group

Starling is a scalable query execution engine built on cloud function services that computes at a fine granularity, helping people more easily match workload demand.

Sam Madden

Matthew Perron

Leads

Sam Madden

Matthew Perron

Research Areas

Impact Areas

Sam Madden

Matthew Perron

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

Impact Areas

Saman Amarasinghe

Project

Using Bitcoin to prevent identify theft

System piggybacks on the digital currency’s security protocols to thwart hijacked servers.

Srini Devadas

Leads

Srini Devadas

Research Areas

Impact Areas

Distributed Robotics Laboratory

Srini Devadas

Project

Wearable Blind Navigation

We enable independent navigation for visually impaired users through a wearable feedback system using time-of-light sensors or depth cameras.

Leads

Research Areas

Impact Areas

Project

Where Are They Looking?

Our goal is to build a system that predicts where people are looking in images. Given an image and the location of a head, our approach follows the gaze of the person and identifies the object being looked at.

Leads

Research Areas

Impact Areas

Education

Entertainment

26 People Results

Mazdak Abulnaga

Graduate Student

medical vision

E abulnaga@mit.edu

Member

Geometric Data Processing Group

Geometry and topology for scientific computing and shape analysis

medical vision

PI
Core/Dual

Ted Adelson

Professor

Vision, touch sensing, robotics

E adelson@csail.mit.edu

T 253-0645

Lead

Blood Pressure Imager

Member

Simit: A Language for Computing on Sparse Systems

Vision, touch sensing, robotics

PI
Core/Dual

Saman Amarasinghe

Professor

Compilers, architectures, software engineering

E saman@csail.mit.edu

T 253-8879

Lead

Commit Group

Tiramisu Compiler

Member

Taco: The Tensor Algebra Compiler

Halide

OpenTuner: An Extensible Framework for Program Autotuning

Program Performance Prediction with Deep Learning

Vertical AI Community of Research

Compilers, architectures, software engineering

PI
Core/Dual

Regina Barzilay

Professor

Natural language processing, machine learning

E regina@csail.mit.edu

T 258-5706

Lead

Natural Language Processing Group

Aspect-Augmented Adversarial Networks for Domain Adaptation

Member

Vertical AI Community of Research

Applied Machine Learning Community of Research

Natural language processing, machine learning

PI
Core/Dual

Tim Berners-Lee

Professor

Systems, privacy, inventor of the World Wide Web

E timbl@w3.org

T 253-5702

Lead

Decentralized Information Group

World Wide Web Consortium

Solid: Social Linked Data

Member

Kami: A Modular Deductive Hardware Verification Platform

Systems, privacy, inventor of the World Wide Web

PI
Core/Dual

Adam Chlipala

Associate Professor

Programming languages, formal methods, security & privacy, systems

E adamc@csail.mit.edu

T 324-8439

Lead

Compilation Using Correct-by-Construction Program Synthesis

Programming Languages & Verification

Hemiola: Structural Design and Proof of Cache-Coherence Protocols

Member

Compilation Using Correct-by-Construction Program Synthesis

Programming with spaces

FSCQ: File-system verification

Systems Community of Research

Programming languages, formal methods, security & privacy, systems

Yu-An Chung

Graduate Student

Speech and language processing, machine learning

E andyyuan@mit.edu

Lead

Unsupervised Speech Processing

Member

Spoken Language Systems Group

Speech and language processing, machine learning

Peter Deutsch

Graduate Student

E pwd@mit.edu

PI
Core/Dual

Srini Devadas

Professor

Architectures, security, computer-aided design

E devadas@csail.mit.edu

T 253-0454

Lead

Using Bitcoin to prevent identify theft

Secure Demand Paging for Trusted Execution Environments

Scaling strong anonymity

Return of the Byzantine Generals

Member

Sanctum Secure Processor

A new way of handling all-to-all broadcast

Architectures, security, computer-aided design

Mustafa Doga Dogan

Graduate Student

E doga@mit.edu

Member

HCI Engineering Group

PI
Core/Dual

Fredo Durand

Professor

Vision, graphics, computational photography

E fredo@csail.mit.edu

T 253-7223

Lead

Computational Understanding of Visualizations and Graphic Designs

Member

Computational Bounce Flash for Indoor Portraits

Halide

Vision, graphics, computational photography

PI
Core/Dual

William Freeman

Professor

Vision, machine learning, Bayesian modeling

E billf@csail.mit.edu

T 253-8828

Lead

Single-Image 3D Interpreter Network

Member

Visual Dynamics: Probabilistic Future Frame Synthesis via Cross Convolutional Networks

Learning the Arrow of Time from Videos

3D Generative Adversarial Networks

Vision, machine learning, Bayesian modeling

PI
Core/Dual

Polina Golland

Professor

Vision, medical imaging, statistical inference

E polina@csail.mit.edu

T 253-8005

Lead

Quantification of Pulmonary Edema in Chest Radiographs

Cardiac MRI analysis

Clinical Neuroimaging

Member

Vision, medical imaging, statistical inference

PI
Core/Dual

Berthold Horn

Professor

Vision, computational imaging

E bkph@csail.mit.edu

T 253-5863

Lead

Driver-Friendly Bilateral Control for Suppressing Traffic Instabilities

Member

Clinical Decision-Making Group

Vision, computational imaging

Fern Keniston

Senior Administrative Assistant

Research and Education Support

E fern@csail.mit.edu

T 253-5860

RM 32/ 32-250A/ 391

Member

Research and Education Support

PI
Core/Dual

John Leonard

Professor

Robotics, navigation/mapping, self-driving cars

E jleonard@csail.mit.edu

T 253-5305

Lead

Marine Robotics Group

Self-Driving Vehicles

Member

Robotics, navigation/mapping, self-driving cars

Ruizhi Liao

Graduate Student

E ruizhi@mit.edu

Member

Quantification of Pulmonary Edema in Chest Radiographs

Razvan Marinescu

Postdoctoral Associate

Postdoctoral Associate working with Polina Golland on neuroimaging.

E razvan@csail.mit.edu

RM 32-D475B

Member

Clinical Neuroimaging

Risk-aware Network Resource Allocation

Postdoctoral Associate working with Polina Golland on neuroimaging.

PI
Core/Dual

Howard Shrobe

Principal Research Scientist

Architectures, cybersecurity, web policy

E hes@csail.mit.edu

T 253-7877

Lead

RADMAX

Automated Attack Tree Generation for Critical Infrastructure

Securing IoT

Cognitive AI Community of Research

Artificial Social Intelligence for Successful Teams (ASIST)

Uhura: Personal Assistant that Manages Risk

Member

Architectures, cybersecurity, web policy

Nalini Singh

Graduate Student

E nmsingh@mit.edu

RM 32-D475B

Member

Internet Policy Research Initiative

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

Cognitive AI Community of Research

Artificial intelligence, supercomputers

PI
Core/Dual

Antonio Torralba

Professor

Vision, graphics, perception, machine learning

E torralba@csail.mit.edu

T 324-0900

RM 32-386G

Lead

Understanding Light via Deep Neural Networks

Understandable Deep Networks

Understanding Food images

Member

Predictive Vision

Where Are They Looking?

Single-Image 3D Interpreter Network

VirtualHome: Representing Activities as Programs

Places Database for Scene Recognition

Semantic Scene Understanding through ADE20K dataset

Crossing the Vision-Language Boundary

Center for Deployable Machine Learning (CDML)

Geometric Data Processing Group

Vision, graphics, perception, machine learning

Yu Wang

Graduate Student

E wangyu9@mit.edu

RM 32-D475A

Member

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