Research

Impact Areas

Lead

David Clark

Karen Sollins

David Clark

Karen Sollins

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

Community of Research

Computing & Society Community of Research

This community is interested in understanding and affecting the interaction between computing systems and society through engineering, computer science and public policy research, education, and public engagement.

Daniel Weitzner

Leads

Daniel Weitzner

Research Areas

Impact Areas

Lead

Daniel Weitzner

Research Group

Cryptography and Information Security Group

We seek to develop techniques for securing tomorrow's global information infrastructure by exploring theoretical foundations, near-term practical applications, and long-range speculative research.

Leads

Shafi Goldwasser

Silvio Micali

Ronald Rivest

Vinod Vaikuntanathan

Butler Lampson

Research Areas

Impact Areas

Lead

Shafi Goldwasser

Silvio Micali

Ronald Rivest

Vinod Vaikuntanathan

Butler Lampson

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

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

Education

Lead

David Karger

Lea Verou

David Karger

Research Center

Internet Policy Research Initiative

Our mission is to work with policy makers and cybersecurity technologists to increase the trustworthiness and effectiveness of interconnected digital systems.

Leads

Daniel Weitzner

Hal Abelson

David Clark

Lalana Kagal

Karen Sollins

Gerald Sussman

Research Areas

Impact Areas

Lead

Daniel Weitzner

Hal Abelson

David Clark

Lalana Kagal

Karen Sollins

Gerald Sussman

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

Education

Lead

Hal Abelson

Research Group

Sensing, Learning and Inference

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

John Fisher

Leads

John Fisher

Research Areas

Graphics & Vision

Robotics

Impact Areas

Energy

Lead

John Fisher

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

Graphics & Vision

Human-Computer Interaction Community of Research

Impact Areas

Lead

Martin Rinard

10 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

Computation Structures Group

Impact Areas

Daniel Jackson

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

Robotics

Impact Areas

Health Care

Transportation

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

Graphics & Vision

Impact Areas

Spoken Language Systems Group

Justin Solomon

Stefanie Jegelka

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

Privacy-Preserving Decentralized Optimization

To enable privacy preservation in decentralized optimization, differential privacy is the most commonly used approach. However, under such scenario, the trade-off between accuracy (even efficiency) and privacy is inevitable. In this project, distributed numerical optimization scheme incorporated with lightweight cryptographic information sharing are explored. The affect on the convergence rate from network topology is considered.

Hanshen Xiao

Leads

Hanshen Xiao

Research Areas

Impact Areas

Decentralized Information Group

Hanshen Xiao

Project

PrivacyML - A Privacy Preserving Framework for Machine Learning

We are developing a general framework that enforces privacy transparently enabling different kinds of machine learning to be developed that are automatically privacy preserving.

Lalana Kagal

Vaikkunth Mugunthan

Leads

Lalana Kagal

Vaikkunth Mugunthan

Research Areas

Model-Based Embedded and Robotics Systems Group

Impact Areas

Lalana Kagal

Vaikkunth Mugunthan

Project

Securing IoT

IoT devices primarily use free embedded Linux which has many security flaws. We are conducting penetration tests on IoT and developing a secure version of embedded Linux.

Howard Shrobe

Leads

Howard Shrobe

Research Areas

Impact Areas

Decentralized Information Group

Howard Shrobe

Project

Solid: Social Linked Data

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

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

Decentralized Information Group

Impact Areas

Saman Amarasinghe

9 People Results

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

Advanced Network Architecture Group

Systems, privacy, inventor of the World Wide Web

PI
Core/Dual

David Clark

Senior Research Scientist

Internet architectures, communications policy, security

E ddc@csail.mit.edu

T 253-6003

Lead

Internet Policy Research Initiative

Member

Systems Community of Research

Internet architectures, communications policy, security

Mustafa Doga Dogan

Graduate Student

E doga@mit.edu

Member

HCI Engineering Group

Gregory Falco

Research Affiliate

Dr. Falco is a hacker and expert in IoT and IIoT cybersecurity.

E gfalco@mit.edu

Dr. Falco is a hacker and expert in IoT and IIoT cybersecurity.

Jamey Hicks

Research Affiliate

E jamey.hicks@accelerated.tech

Member

Computation Structures Group

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

Systems Community of Research

Wildcard

Software design, programming, systems

PI
Core/Dual

Ronald Rivest

Institute Professor

Cryptography, cybersecurity, RSA public-key encryption

E rivest@mit.edu

T 253-5880

Lead

Cryptography and Information Security Group

Member

Theory of Computation Community of Research

Internet Policy Research Initiative

Cryptography, cybersecurity, RSA public-key encryption

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