Research

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

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

Security & Cryptography

Impact Areas

Wireless

Lead

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

+21

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

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

Graphics & Vision

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

Security & Cryptography

Impact Areas

Lead

Sam Madden

+21

Sam Madden

Community of Research

Theory of Computation Community of Research

The goal of the Theory of Computation CoR is to study the fundamental strengths and limits of computation as well as how these interact with mathematics, computer science, and other disciplines.

+20

Costis Daskalakis

Leads

Costis Daskalakis

Research Areas

Security & Cryptography

Impact Areas

Lead

Costis Daskalakis

+20

Costis Daskalakis

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

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

16 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

Human-Computer Interaction

Robotics

Impact Areas

Weiss Laboratory for Synthetic Biology

Transportation

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

Clinical Intervention Prediction with Neural Networks

Applied Machine Learning Community of Research

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

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

Programming Languages & Verification

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

Human-Computer Interaction

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

Computational Connectomics Group

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

Clinical Decision-Making Group

Yaron Meirovitch

Nir Shavit

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

Bonnie Berger

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

Clinical Decision-Making Group

Srini Devadas

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

Simit: A Language for Computing on Sparse Systems

16 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

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

Bonnie Berger

Professor

Computational biology, genomics

E bab@csail.mit.edu

T 253-1827

Lead

Covering All K-mers Using Joker Characters

Towards Context-Aware Functional Genomics

Metagenomic Binning Through Low-Density Hashing

Computation and Biology

Member

Theory of Computation Community of Research

Applied Machine Learning Community of Research

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

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

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

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

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

Konstantin Krismer

Graduate Student

E krismer@mit.edu

Member

Computational Genomics Group

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

Artificial Social Intelligence for Successful Teams (ASIST)

Uhura: Personal Assistant that Manages Risk

Member

Computing & Society Community of Research

Architectures, cybersecurity, web policy

Samuel Sledzieski

Graduate Student

E samsl@csail.mit.edu

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

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

Mengjia Yan

Assistant Professor

Harware Security, Computer Architecture

E mengjia@csail.mit.edu

Harware Security, Computer Architecture

PI
Core/Dual

Nickolai Zeldovich

Associate Professor

Operating systems, hardware, programming languages

E nickolai@csail.mit.edu

T 253-6005

Lead

Parallel and Distributed Operating Systems

Scaling Filesystems To Many Cores

Vuvuzela: Metadata private messaging

Perennial

Member