Research

Impact Areas

Cybersecurity

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

Wireless

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

Cybersecurity

Wireless

Lead

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

+21

Research Group

Computer Graphics Group

Our group focuses on synthetic image generation, computational photography, digital manufacturing, and geometry.

Leads

Fredo Durand

William Freeman

Wojciech Matusik

Justin Solomon

Research Areas

Impact Areas

Lead

Fredo Durand

William Freeman

Wojciech Matusik

Justin Solomon

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

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.

Stefanie Mueller

Leads

Stefanie Mueller

Research Areas

Impact Areas

Lead

Stefanie Mueller

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

Programming Languages & Verification

Mission: improve the software and hardware development process by replacing ugly development techniques with beautiful ones

Secret weapon: applied mathematical logic, including computer theorem proving (especially Coq) and type systems

Adam Chlipala

Leads

Adam Chlipala

Research Areas

Impact Areas

Cybersecurity

Lead

Adam Chlipala

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.

Leads

Charles E. Leiserson

Neil Thompson

Tao Schardl

Research Areas

Impact Areas

Lead

Charles E. Leiserson

Neil Thompson

Tao Schardl

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

Berthold Horn

Aude Oliva

Antonio Torralba

Eric Grimson

Research Areas

Impact Areas

Lead

Ted Adelson

Fredo Durand

John Fisher

William Freeman

Polina Golland

Berthold Horn

Aude Oliva

Antonio Torralba

Eric Grimson

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

Ruth Rosenholtz

Leads

Ruth Rosenholtz

Research Areas

Impact Areas

Lead

Ruth Rosenholtz

+10

Ruth Rosenholtz

66 Project Results

Project

3D Generative Adversarial Networks

Cognitive AI Community of Research

We study the problem of 3D object generation. We propose a novel framework, 3D Generative Adversarial Network (3D-GAN), leveraging recent advances in volumetric convolutional networks and generative adversarial nets.

Leads

Research Areas

Impact Areas

Project

[Inactive] T-1000: A Thousand-Core Coherent Shared Memory System

(This project is no longer active.) The T-1000, a prototype system of a thousand realistic processors embedded throughout an ensemble of interconnected FPGAs, seeks to demonstrate the scalability of timestamp-based cache coherence protocols on distributed shared memory systems.

Quan Nguyen

Leads

Quan Nguyen

Research Areas

Computational Cognitive Science Group

Quan Nguyen

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

Imagination, Computation, and Expression Laboratory (ICE Lab)

Project

AIRvatar System: A Framework for Analyzing Virtual Identities

Human-Computer Interaction Community of Research

AIRvatar is a system that telemetrically collects and analyzes fine-grained data on users’ virtual identities and the process used to create them.

D. Fox Harrell

Leads

D. Fox Harrell

Research Areas

Impact Areas

D. Fox Harrell

Project

Analyzing Player Profile Data

Developing new methods for analyzing large quantities of player profile data, such as hundreds of thousands of profile images or chat logs.

D. Fox Harrell

Peter Mawhorter

Leads

D. Fox Harrell

Peter Mawhorter

Research Areas

D. Fox Harrell

Peter Mawhorter

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

Wireless

Project

Blood Pressure Imager

Development of affordable wearable continuous blood pressure monitor based on radial arterial pulse imaged from the skin surface of human wrist

Mumin Jin

Aya G. Halawi

Jianhua Li

Leads

Abhijit Biswas

Ted Adelson

Mandayam A. Srinivasan

Mohan Thanikachalam

Research Areas

Computational Biology

Mumin Jin

Aya G. Halawi

Jianhua Li

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

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 Bounce Flash for Indoor Portraits

To achieve high-quality photo lighting in challenging environments, our prototype camera dynamically reconstructs a 3D scene model and directs a motor-controlled flash head at nearby walls and ceilings for soft indirect illumination.

Lukas Murmann

Leads

Lukas Murmann

Research Areas

Impact Areas

Computational Design and Fabrication Group

Lukas Murmann

Project

Computational Knitting: Patterning and Shaping for Everyone

Knitting is the new 3d printing. It has become popular again with the widespread availability of patterns and templates, together with the maker movements. Lower-cost industrial knitting machines are starting to emerge, but we are still missing the corresponding design tools. Our goal is to fill this gap.

Alexandre Kaspar

Leads

Alexandre Kaspar

Research Areas

Impact Areas

Alexandre Kaspar

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

Computational Design and Fabrication Group

Tao Du

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

Alexandre Kaspar

Project

Deep Inverse Planning

Deep inverse planning for learning from high-dimensional demonstrations

Leads

Research Areas

Project

Detailed Interpretation of Object Images

Infolab

The goal of this project is to model the process of ‘full interpretation’ of object images, namely the ability to identify and localize all semantic features and parts that are recognized by human observers.

Leads

Research Areas

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

Imagination, Computation, and Expression Laboratory (ICE Lab)

Berthold Horn

Project

Enriching Virtual Reality (VR) Narratives with Embodied and Gestural Interaction

Human-Computer Interaction Community of Research

Building embodied and gestural interfaces to enrich interaction in VR narratives.

D. Fox Harrell

Leads

D. Fox Harrell

Research Areas

D. Fox Harrell

Project

Fast Lightweight Autonomy

The goal of the FLA program is to explore non-traditional perception and autonomy methods that could enable a new class of algorithms for minimalistic high-speed navigation in cluttered environments.

Nick Villanueva

Jake Ware

Leads

Jake Ware

Research Areas

Nick Villanueva

Jake Ware

Project

Foundry: Design for Multi-Material 3-D Printing

A new approach for designs in multi-material fabrication

Leads

Research Areas

Impact Areas

Geometric Data Processing Group

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

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

Internet of Things

Justin Solomon

Stefanie Jegelka

53 People Results

Mazdak Abulnaga

Graduate Student

medical vision

E abulnaga@mit.edu

Member

Monitoring Fetal Health

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

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

Laura E. Brandt

Graduate Student

E lebrandt@csail.mit.edu

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

High-Assurance Software

High-Assurance Hardware

High-Assurance Cryptography

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

Adrian Dalca

Research Scientist

E adalca@csail.mit.edu

Member

Clinical Neuroimaging

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

Tao Du

Graduate Student

CS PhD student

E taodu@csail.mit.edu

Lead

Computational Multicopter Design

CS PhD student

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

Joel Emer

Professor of the Practice

Architectures, performance modeling

E emer@csail.mit.edu

T 258-9190

Member

Pervasive Parallelism with the Swarm Architecture

Vertical AI Community of Research

Systems Community of Research

Architectures, performance modeling

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

Michael Foshey

Mechanical Engineer/Project Manager

Additive Manufacturing, Robotics, Digital Fabrication

E mfoshey@mit.edu

Additive Manufacturing, Robotics, Digital Fabrication

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

Embodied Intelligence Community of Research

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

Monitoring Fetal Health

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

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