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

Research Group

Sensing, Learning and Inference

We develop scalable algorithms for analysis of complex, high-dimensional data.

John Fisher

Leads

John Fisher

Research Areas

Impact Areas

Energy

Internet of Things

Lead

John Fisher

Research Group

Supertech Research Group

We investigate the technologies that support scalable high-performance computing, including hardware, software, and theory.

Charles E. Leiserson

Neil Thompson

Leads

Charles E. Leiserson

Neil Thompson

Research Areas

Impact Areas

Lead

Charles E. Leiserson

Neil Thompson

Charles E. Leiserson

Neil Thompson

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

Computational Cognitive Science Group

Transportation

Lead

Ted Adelson

Fredo Durand

John Fisher

William Freeman

Polina Golland

Eric Grimson

Berthold Horn

Aude Oliva

Antonio Torralba

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 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

Transportation

Project

BlueDBM: Distributed Flash Storage for Big Data Analytics

BlueDBM is an architecture of computer clusters consisting of fast distributed flash storage and in-storage accelerators, which often outperforms larger and more expensive clusters in applications such as graph analytics.

Leads

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

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

Computational Design and Fabrication Group

Polina Golland

Project

Crowdsourcing in Graphics and Vision

Our goal is to develop new applications and algorithms that leverage the skills of distributed crowdworkers, notably for image and video processing applications.

Alexandre Kaspar

Leads

Alexandre Kaspar

Research Areas

Impact Areas

Education

Entertainment

Alexandre Kaspar

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

Justin Solomon

Project

Geometry in Large-Scale Machine Learning

Machine Learning

Data often has geometric structure which can enable better inference; this project aims to scale up geometry-aware techniques for use in machine learning settings with lots of data, so that this structure may be utilized in practice.

Justin Solomon

Stefanie Jegelka

Leads

Justin Solomon

Stefanie Jegelka

Research Areas

Impact Areas

Programming Languages & Verification

Internet of Things

Justin Solomon

Stefanie Jegelka

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

Political Geometry: Establishing Fair Mathematical Standards for Political Redistricting

Gerrymandering is a direct threat to our democracy, undermining founding principles like equal protection under the law and eroding public confidence in elections.

Justin Solomon

Leads

Justin Solomon

Research Areas

Impact Areas

Justin Solomon

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

Sensible Deep Learning for 3D Data

Machine Learning

Developing state-of-the-art deep learning algorithms for analyzing and modeling 3D geometry

Justin Solomon

Leads

Justin Solomon

Research Areas

Impact Areas

Manufacturing

Justin Solomon

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

Transportation

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

34 People Results

Mazdak Abulnaga

Graduate Student

medical vision

E abulnaga@mit.edu

Member

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

Embodied Intelligence Community of Research

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

Computing & Society Community of Research

Systems, privacy, inventor of the World Wide Web

Xuhao Chen

Postdoctoral Associate

Parallel Computer Architecture, Data Mining, Machine Learning

E cxh@mit.edu

Parallel Computer Architecture, Data Mining, Machine Learning

PI
Core/Dual

Adam Chlipala

Associate Professor

Programming languages, formal methods, security & privacy, systems

E adamc@csail.mit.edu

T 324-8439

Lead

Kami: A Modular Deductive Hardware Verification Platform

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

Computer Graphics Group

Computational Understanding of Visualizations and Graphic Designs

Member

Computational Bounce Flash for Indoor Portraits

Halide

Vision, graphics, computational photography

PI
Core/Dual

John Fisher

Senior Research Scientist

Vision, machine learning, signal processing

E fisher@csail.mit.edu

T 253-0788

Lead

Sensing, Learning and Inference

Member

Vision, machine learning, signal processing

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

Evan Hernandez

Graduate Student

Natural language processing, machine learning, interpretability

E dez@mit.edu

Natural language processing, machine learning, interpretability

Jamey Hicks

Research Affiliate

E jamey.hicks@accelerated.tech

Member

Clinical Decision-Making Group

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

Embodied Intelligence Community of Research

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

Postdoctoral Associate working with Polina Golland on neuroimaging.

PI
Core/Dual

Daniel Sanchez

Associate Professor

Architectures, systems, parallel computing, multicores, memory

E sanchez@csail.mit.edu

T 715-4886

Lead

Pervasive Parallelism with the Swarm Architecture

Member

Jenga: Using chip memory more efficiently

KPart: A novel technique for partitioning shared caches

Systems Community of Research

Architectures, systems, parallel computing, multicores, memory

PI
Core/Dual

Howard Shrobe

Principal Research Scientist

Architectures, cybersecurity, web policy

E hes@csail.mit.edu

T 253-7877

Lead

RADMAX

Risk-aware Network Resource Allocation

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

Computing & Society Community of Research

Architectures, cybersecurity, web policy

Nalini Singh

Graduate Student

E nmsingh@mit.edu

RM 32-D475B

Member

Dmitriy Smirnov

Graduate Student

https://people.csail.mit.edu/smirnov/

E smirnov@mit.edu

RM 32-D475B

Member