Research

Computational Biology

Impact Areas

Health Care

Lead

Una-May O'Reilly

Research Center

Center for Deployable Machine Learning (CDML)

The MIT Center for Deployable Machine Learning (CDML) works towards creating AI systems that are robust, reliable and safe for real-world deployment.

Aleksander Madry

Leads

Aleksander Madry

Research Areas

Robotics

Impact Areas

Lead

Aleksander Madry

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

Computational Biology

Impact Areas

Health Care

Manufacturing

Lead

Peter Szolovits

+10

Peter Szolovits

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

Wireless

Lead

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

+21

Research Group

Data Systems Group

We conduct research on all areas of database systems and information management.

+15

Leads

Sam Madden

Michael Stonebraker

Tim Kraska

Research Areas

Impact Areas

Wireless

Lead

Sam Madden

Michael Stonebraker

Tim Kraska

+15

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

Haystack Group

We are an interdisciplinary group of researchers blending approaches from human-computer interaction, social computing, databases, information management, and databases.

Lea Verou

David Karger

Leads

David Karger

Research Areas

Impact Areas

Lead

David Karger

Lea Verou

David Karger

Research Group

MIT App Inventor

MIT App Inventor is an intuitive, visual programming environment that allows everyone – even children – to build fully functional apps for smartphones and tablets.

Hal Abelson

Leads

Hal Abelson

Research Areas

Impact Areas

Lead

Hal Abelson

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

Lead

Adam Chlipala

Research Group

Programming Languages and Software Engineering

We research programming languages, software engineering, and related work in human-computer interaction.

Leads

Research Areas

Impact Areas

Research Group

Sensing, Learning and Inference

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

John Fisher

Leads

John Fisher

Research Areas

Robotics

Impact Areas

Energy

Lead

John Fisher

Research Group

Software Design Group

Our goal is to find better ways to make software, and ways to make software better.

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Impact Areas

Lead

Daniel Jackson

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

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

Computational Biology

Impact Areas

Lead

Costis Daskalakis

+20

Costis Daskalakis

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

Human-Computer Interaction Community of Research

Impact Areas

Lead

Martin Rinard

13 Project Results

Project

Alloy

Software Design Group

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. Hundreds of projects have used Alloy for design analysis, for verification, for simulation, and as a backend for many other kinds of analysis and synthesis tools, and Alloy is currently being taught in courses worldwide.

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Impact Areas

Daniel Jackson

Project

Data Civilizer

Data Systems Group

Data scientists universally report that they spend at least 80% of their time finding data sets of interest, accessing them, cleaning them and assembling them into a unified whole.

Michael Stonebraker

Sam Madden

Leads

Michael Stonebraker

Sam Madden

Research Areas

Impact Areas

Michael Stonebraker

Sam Madden

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

Justin Solomon

Stefanie Jegelka

Project

High-Assurance Cryptography

Tools to build cryptographic software that is correct and secure by construction

Adam Chlipala

Leads

Adam Chlipala

Research Areas

Impact Areas

Adam Chlipala

Project

High-Assurance Hardware

Tools for building digital hardware with machine-checked proofs of correctness

Adam Chlipala

Leads

Adam Chlipala

Research Areas

Impact Areas

Adam Chlipala

Project

High-Assurance Software

Tools for building software with machine-checked proofs of correctness

Adam Chlipala

Leads

Adam Chlipala

Research Areas

Impact Areas

Adam Chlipala

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

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

Security by Design for Cyberphysical Systems

Software Design Group

An approach to reducing risks of attack on cyberphysical infrastructure (such as water purification plants and electric grids) with new software design and analysis techniques.

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Impact Areas

Decentralized Information Group

Daniel Jackson

Project

Solid: Social Linked Data

Cognitive AI Community of Research

Solid aims to radically change the way Web applications work today, resulting in true data ownership as well as improved privacy.

Tim Berners-Lee

Lalana Kagal

Leads

Tim Berners-Lee

Lalana Kagal

Research Areas

Impact Areas

Health Care

Tim Berners-Lee

Lalana Kagal

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

Simit: A Language for Computing on Sparse Systems

Srini Devadas

17 People Results

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

Decentralized Information Group

Compilers, architectures, software engineering

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

Programming Systems Group

Systems, privacy, inventor of the World Wide Web

PI
Core/Dual

Michael Carbin

Assistant Professor

Programming languages and systems.

E mcarbin@csail.mit.edu

T 253-5881

Lead

The Lottery Ticket Hypothesis

Member

Programming with spaces

Program Performance Prediction with Deep Learning

Applied Machine Learning Community of Research

FSCQ: File-system verification

Programming languages and systems.

Tej Chajed

Graduate Student

PhD student in systems

E tchajed@csail.mit.edu

RM 32-G978B

Lead

Perennial

Member

Parallel and Distributed Operating Systems

PhD student in systems

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

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

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

Mustafa Doga Dogan

Graduate Student

E doga@mit.edu

Member

HCI Engineering Group

Jamey Hicks

Research Affiliate

E jamey.hicks@accelerated.tech

Member

PI
Core/Dual

Daniel Jackson

Professor

Software design, programming, systems

E dnj@csail.mit.edu

T 258-8471

Lead

Rethinking Software Design

Software Design Group

Gitless: a simple version control system built on top of Git

Déjà Vu: Constructing Apps from Concepts

Security by Design for Cyberphysical Systems

Poirot: Secure Protocol Implementation by Design

An Interlock for Self Driving Cars

Alloy

Wildcard

Member

Espalier

Human-Computer Interaction Community of Research

Wildcard

Software design, programming, systems

PI
Core/Dual

Martin Rinard

Professor

Systems, programming languages and verification

E rinard@csail.mit.edu

T 258-6922

Lead

Member

Center for Deployable Machine Learning (CDML)

Risk-aware Network Resource Allocation

Systems, programming languages and verification

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

PI
Core/Dual

Armando Solar-Lezama

Associate Professor

Programming languages, software analysis

E asolar@csail.mit.edu

T 258-9727

Lead

Synquid: Synthesis From Liquid Types

Computer-Aided Programming

An Interlock for Self Driving Cars

Member

Center for Deployable Machine Learning (CDML)

Applied Machine Learning Community of Research

Programming languages, software analysis

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!

Internet Policy Research Initiative

Member

Cognitive AI Community of Research

Internet Policy Research Initiative

Artificial intelligence, supercomputers

PI
Core/Dual

Daniel Weitzner

Principal Research Scientist

Web policy, cybersecurity, web architecture

E djweitzner@csail.mit.edu

T 253-8036

Lead

Keys Under Doormats

Parallel and Distributed Operating Systems

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

Scaling Filesystems To Many Cores

Vuvuzela: Metadata private messaging

Perennial

Member

FSCQ: File-system verification