Research

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

Cybersecurity

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

Cybersecurity

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

AI & ML

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

Big Data

Education

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

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

AI & ML

Graphics & Vision

Robotics

Impact Areas

Big Data

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

AI & ML

Graphics & Vision

Human-Computer Interaction Community of Research

Impact Areas

Lead

Martin Rinard

6 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

Distributed Robotics Laboratory

Project

Robot Compiler

The Robot Compiler allows non-engineering users to rapidly fabricate customized robots, facilitating the proliferation of robots in everyday life. It thereby marks an important step towards the realization of personal robots that have captured imaginations for decades.

Leads

Joseph DelPreto

Andrew Spielberg

Daniela Rus

Research Areas

Robotics

Impact Areas

Education

Decentralized Information Group

Project

Solid: Social Linked Data

Cognitive AI Community of Research

Computing & Society 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

Cybersecurity

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

Big Data

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

Distributed Robotics Laboratory

Impact Areas

Saman Amarasinghe

6 People Results

Noam Buckman

Graduate Student

PhD Candidate. Autonomous vehicles. Multi-robot systems.

E nbuckman@mit.edu

Member

Self-Driving Vehicles

PhD Candidate. Autonomous vehicles. Multi-robot systems.

Lillian Chin

Graduate Student

E ltchin@mit.edu

Lead

Sensorized Soft Electric Hands with Handed Shearing Auxetics

Member

Distributed Robotics Laboratory

Mustafa Doga Dogan

Graduate Student

E doga@mit.edu

Member

HCI Engineering Group

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