Research

  • Impact Areas
  • Research Areas

Algorithms & Theory

Foundational work that includes complexity, parallel computing and game theory

AI & ML

Spanning natural language processing, deep-learning, computer vision and more

Computational Biology

Understanding disease via epigenomics, gene regulation and bioinformatics

Computer Architecture

How CPUs, memory and other systems are designed and organized

Graphics & Vision

Teaching computers to interpret, create and animate visual data

Human-Computer Interaction

Software and hardware that let us naturally interact with technology

Programming Languages & Software Engineering

From compilers and verification to software design and engineering

Robotics

Vision, actuation, sensing and manipulation of machines

Security & Cryptography

Developing technologies to prevent and recover from cyber-attacks

Systems & Networking

From distributed systems and databases to wireless

Filter options
Filter options

Filter options Close

Role

Media

Research Areas

Impact Areas

Reset Filters

23 Group Results

Community of Research

Applied Machine Learning Community of Research

This CoR brings together researchers at CSAIL working across a broad swath of application domains. Within these lie novel and challenging machine learning problems serving science, social science and computer science.
Regina Barzilay
Berger
Michael Carbin
+6
Una-May O'Reilly

Una-May O'Reilly

Leads

Una-May O'Reilly

Una-May O'Reilly

Research Areas

AI & ML
Computational Biology
Programming Languages & Software Engineering

Impact Areas

Cybersecurity
Education
Health Care

Lead

Una-May O'Reilly

Una-May O'Reilly

Regina Barzilay
Berger
Michael Carbin
+6
 
Una-May O'Reilly

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.
Daskalakis
Moitra-headshot
Rinard
+5
Madry-headshot

Aleksander Madry

Leads

Madry-headshot

Aleksander Madry

Research Areas

Algorithms & Theory
AI & ML
Graphics & Vision
Human-Computer Interaction
Programming Languages & Software Engineering
Robotics
Security & Cryptography

Impact Areas

Big Data
Cybersecurity

Lead

Madry-headshot

Aleksander Madry

Daskalakis
Moitra-headshot
Rinard
+5
 
Madry-headshot

Aleksander Madry

Community of Research

Cognitive AI Community of Research

This CoR aims to develop AI technology that synthesizes symbolic reasoning, probabilistic reasoning for dealing with uncertainty in the world, and statistical methods for extracting and exploiting regularities in the world, into an integrated picture of intelligence that is informed by computational insights and by cognitive science.
Brewer-headshot
Randall Davis
Kagal-headshot
+6
Howard Shrobe

Howard Shrobe

Leads

Howard Shrobe

Howard Shrobe

Research Areas

Human-Computer Interaction
Robotics
Security & Cryptography
Systems & Networking

Impact Areas

Cybersecurity
Education

Lead

Howard Shrobe

Howard Shrobe

Brewer-headshot
Randall Davis
Kagal-headshot
+6
 
Howard Shrobe

Howard Shrobe

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.
Abelson
Berners-Lee
Brewer-headshot
+8
Weitzner

Daniel Weitzner

Leads

Weitzner

Daniel Weitzner

Research Areas

Algorithms & Theory
AI & ML
Human-Computer Interaction
Security & Cryptography
Systems & Networking

Impact Areas

Big Data
Cybersecurity
Health Care
Internet of Things
Transportation
Wireless

Lead

Weitzner

Daniel Weitzner

Abelson
Berners-Lee
Brewer-headshot
+8
 
Weitzner

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

Goldwasser

Shafi Goldwasser

Silvio Micali

Silvio Micali

Rivest

Ronald Rivest

vaikuntanathan-headshot

Vinod Vaikuntanathan

Lampson

Butler Lampson

Research Areas

Algorithms & Theory
Security & Cryptography

Impact Areas

Cybersecurity
Wireless

Lead

Goldwasser

Shafi Goldwasser

Silvio Micali

Silvio Micali

Rivest

Ronald Rivest

vaikuntanathan-headshot

Vinod Vaikuntanathan

Lampson

Butler Lampson

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.
default headshot
default headshot
default headshot
+2

Leads

Weitzner

Daniel Weitzner

Abelson

Hal Abelson

Clark

David Clark

Kagal-headshot

Lalana Kagal

Karen Sollins

Karen Sollins

Gerald Sussman

Gerald Sussman

Research Areas

AI & ML
Human-Computer Interaction
Security & Cryptography

Impact Areas

Big Data
Cybersecurity
Internet of Things
Transportation

Lead

Weitzner

Daniel Weitzner

Abelson

Hal Abelson

Clark

David Clark

Kagal-headshot

Lalana Kagal

Karen Sollins

Karen Sollins

Gerald Sussman

Gerald Sussman

default headshot
default headshot
default headshot
+2

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.
Alizadeh-headshot
Arvind
Hari Balakrishnan
+21
Madden

Sam Madden

Leads

Madden

Sam Madden

Research Areas

Computer Architecture
Programming Languages & Software Engineering
Security & Cryptography
Systems & Networking

Impact Areas

Big Data
Cybersecurity
Internet of Things
Transportation
Wireless

Lead

Madden

Sam Madden

Alizadeh-headshot
Arvind
Hari Balakrishnan
+21
 
Madden

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.
Berger
Erik Demaine
Goemans
+20
Daskalakis

Costis Daskalakis

Leads

Daskalakis

Costis Daskalakis

Research Areas

Algorithms & Theory
Computational Biology
Programming Languages & Software Engineering
Security & Cryptography

Impact Areas

Big Data
Cybersecurity

Lead

Daskalakis

Costis Daskalakis

Berger
Erik Demaine
Goemans
+20
 
Daskalakis

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.
Amarasinghe
Regina Barzilay
Broderick-headshot
+7
Rinard

Martin Rinard

Leads

Rinard

Martin Rinard

Research Areas

Algorithms & Theory
AI & ML
Graphics & Vision
Programming Languages & Software Engineering
Security & Cryptography
Systems & Networking

Impact Areas

Big Data
Cybersecurity
Health Care
Internet of Things
Transportation
Wireless

Lead

Rinard

Martin Rinard

Amarasinghe
Regina Barzilay
Broderick-headshot
+7
 
Rinard

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

Ted Adelson

Durand

Fredo Durand

John W. Fisher III

John Fisher

Freeman

William Freeman

Polina Golland

Polina Golland

Grimson

Eric Grimson

Horn

Berthold Horn

oliva-headshot

Aude Oliva

Torralba

Antonio Torralba

Research Areas

AI & ML
Graphics & Vision

Impact Areas

Entertainment
Health Care
Transportation

Lead

Ted Adelson

Ted Adelson

Durand

Fredo Durand

John W. Fisher III

John Fisher

Freeman

William Freeman

Polina Golland

Polina Golland

Grimson

Eric Grimson

Horn

Berthold Horn

oliva-headshot

Aude Oliva

Torralba

Antonio Torralba

25 Project Results

Project

Active Learning of Models for Planning

Learning and Intelligent Systems
Machine Learning
We aim to develop a systematic framework for robots to build models of the world and to use these to make effective and safe choices of actions to take in complex scenarios.
Kaelbling

Leslie Kaelbling

Lozano-Perez

Tomas Lozano-Perez

Leads

Kaelbling

Leslie Kaelbling

Lozano-Perez

Tomas Lozano-Perez

Research Areas

Algorithms & Theory
AI & ML
Human-Computer Interaction
Robotics

Impact Areas

Big Data
Education
Entertainment
 
Kaelbling

Leslie Kaelbling

Lozano-Perez

Tomas Lozano-Perez

Project

Alloy

Software Design Group
Human-Computer Interaction Community of Research
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.
Jackson image

Daniel Jackson

Leads

Jackson image

Daniel Jackson

Research Areas

Human-Computer Interaction
Programming Languages & Software Engineering
Security & Cryptography

Impact Areas

Big Data
Cybersecurity
Education
Transportation
Wireless
 
Jackson image

Daniel Jackson

Project

Automated Attack Tree Generation for Critical Infrastructure

Model-Based Embedded and Robotics Systems Group
Cognitive AI Community of Research
Using AI methods, we are developing an attack tree generator that automatically enumerates cyberattack vectors for industrial control systems in critical infrastructure (electric grids, water networks and transportation systems). The generator can quickly assess cyber risk for a system at scale.
Howard Shrobe

Howard Shrobe

Leads

Howard Shrobe

Howard Shrobe

Research Areas

Security & Cryptography

Impact Areas

Cybersecurity
 
Howard Shrobe

Howard Shrobe

Project

Automatic Speech Recognition

Spoken Language Systems Group
Automatic speech recognition (ASR) has been a grand challenge machine learning problem for decades. Our ongoing research in this area examines the use of deep learning models for distant and noisy recording conditions, multilingual, and low-resource scenarios.
MIT CSAIL Spoken Language Systems PhD student

Sameer Khurana

Jim Glass

Jim Glass

Leads

MIT CSAIL Spoken Language Systems PhD student

Sameer Khurana

Jim Glass

Jim Glass

Research Areas

AI & ML
Human-Computer Interaction

Impact Areas

Big Data
Education
Entertainment
Health Care
Internet of Things
 
MIT CSAIL Spoken Language Systems PhD student

Sameer Khurana

Jim Glass

Jim Glass

Project

Denial of Service Mitigation through Protocol Design

Advanced Network Architecture Group
Computing & Society Community of Research
We aim to better understand the features of network protocols that facilitate denial of service attacks, in order to design more robust protocols and architectures in the future and evaluate existing designs more accurately.
Karen Sollins

Karen Sollins

Leads

Karen Sollins

Karen Sollins

Research Areas

Security & Cryptography
Systems & Networking

Impact Areas

Cybersecurity
 
Karen Sollins

Karen Sollins

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.
default headshot

Hanshen Xiao

Leads

default headshot

Hanshen Xiao

Research Areas

Algorithms & Theory
AI & ML
Security & Cryptography

Impact Areas

Cybersecurity
Wireless
 
default headshot

Hanshen Xiao

Project

PrivacyML - A Privacy Preserving Framework for Machine Learning

Decentralized Information Group
Cognitive AI Community of Research
Computing & Society Community of Research
We are developing a general framework that enforces privacy transparently enabling different kinds of machine learning to be developed that are automatically privacy preserving.
default headshot
default headshot
Kagal-headshot

Lalana Kagal

Vaikkunth

Vaikkunth Mugunthan

Leads

Kagal-headshot

Lalana Kagal

Vaikkunth

Vaikkunth Mugunthan

Research Areas

AI & ML
Security & Cryptography

Impact Areas

Big Data
Cybersecurity
Education
Energy
Entertainment
Health Care
Internet of Things
Manufacturing
Transportation
default headshot
default headshot
 
Kagal-headshot

Lalana Kagal

Vaikkunth

Vaikkunth Mugunthan

Project

Toward Using Virtual Identities in Computer Science Learning for Broadening Participation

Imagination, Computation, and Expression Laboratory (ICE Lab)
Our research seeks to discover best practices for using avatars to enhance performance, engagement, and STEM identity development for diverse public middle and high school computer science students. As sites of our research we run workshops in which students learn computer science in fun, relevant ways, and develop self-images as computer scientists.
default headshot

Sneha Veeragoudar Harrell

default headshot
default headshot

Aziria Rodriguez

+1
Fox 1

D. Fox Harrell

Leads

Fox 1

D. Fox Harrell

Research Areas

AI & ML

Impact Areas

Education
Entertainment
default headshot

Sneha Veeragoudar Harrell

default headshot
default headshot

Aziria Rodriguez

+1
 
Fox 1

D. Fox Harrell

30 People Results

Chlipala-headshot

PI
Core/Dual

Adam Chlipala

Associate Professor
Programming languages, formal methods, security & privacy, systems
Chlipala-headshot
T 324-8439
RM 32-G842

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
Computation Structures Group
FSCQ: File-system verification
Systems Community of Research
Programming languages, formal methods, security & privacy, systems
R. David Edelman - Headshot

R. David Edelman

Director, Project on Technology, Economy & National Security
Machine learning, cybersecurity, governance
R. David Edelman - Headshot
T 258-6389
Machine learning, cybersecurity, governance
Gregory Falco

Gregory Falco

Research Affiliate
Dr. Falco is a hacker and expert in IoT and IIoT cybersecurity.
Gregory Falco
Dr. Falco is a hacker and expert in IoT and IIoT cybersecurity.
Freeman

PI
Core/Dual

William Freeman

Professor
Vision, machine learning, Bayesian modeling
Freeman
T 253-8828
RM 32-D476

Lead

Vision Group
Computer Graphics Group
Visual Computing Community of Research

Member

Single-Image 3D Interpreter Network
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
Jim Glass

PI
Core/Dual

Jim Glass

Senior Research Scientist
speech and language processing
Jim Glass
T 253-1640
RM 32-G444

Lead

Spoken Language Systems Group
Designing Information-Rich Embedding Spaces
Unsupervised Learning of Interpretable Representations from Sequential Data
Fact-Checking and Reasoning
Speaker Verification and Diarization
Automatic Speech Recognition
Language and Dialect Identification

Member

Using Computers to Eat Healthier
Low-Power Speech Processing Circuits
Crossing the Vision-Language Boundary
Unsupervised Speech Processing
Arabic Language Processing
Health-related Biomarkers from Speech
Community Question Answering
Understanding Language Representations in Deep Learning Models
Embodied Intelligence Community of Research
speech and language processing
Taylor Reynolds Image

Taylor Reynolds

Technology Policy Director
Technology Policy Director - Internet Policy Research Initiative
Taylor Reynolds Image
RM 32-G534
Technology Policy Director - Internet Policy Research Initiative
Rus

PI
Core/Dual

Daniela Rus

Director
CSAIL director, robotics, AI, data science, privacy
Rus
T 258-7567
RM 32/ 32-368/ 374

Lead

Distributed Robotics Laboratory
Social Network Extraction from GPS Datasets with Coresets
Safety Standards for Autonomous Vehicles
Soft Contact Modeling
Practical Secure Computation
Self-Driving Vehicles
Robust Learning for Autonomous Vehicles
Brain-Controlled Robots
Planning in Congestion for Autonomous Vehicles
Socially-Compliant Behavior for Autonomous Driving
Coresets for Machine Learning Algorithms
M-Blocks Modular Robotics
Robot Compiler
Distributed Robot Garden
Route and Motion Planning for Mobility-on-Demand with Rules of the Road

Member

Social Network Extraction from GPS Datasets with Coresets
Task-Driven Co-Optimization Of Articulated Robots
Wearable Blind Navigation
Drones that Drive
Better Models for Ride-Sharing
SoFi - The Soft Robotic Fish
Controlling drones and other robots with gestures
Using Muscle Signals to Lift Objects with Robots
Embodied Intelligence Community of Research
Helping robots learn using demonstrations
CSAIL director, robotics, AI, data science, privacy
Howard Shrobe

PI
Core/Dual

Howard Shrobe

Principal Research Scientist
Architectures, cybersecurity, web policy
Howard Shrobe
T 253-7877
RM 32-225

Lead

RADMAX
Risk-aware Network Resource Allocation
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

Computation Structures Group
Computing & Society Community of Research
Architectures, cybersecurity, web policy
solomon-headshot

PI
Core/Dual

Justin Solomon

Assistant Professor
Geometry, graphics, vision, machine learning, optimization.
solomon-headshot
RM 32-D460

Lead

Computer Graphics Group
Geometric Data Processing Group
Geometry in Large-Scale Machine Learning
Political Geometry: Establishing Fair Mathematical Standards for Political Redistricting
Sensible Deep Learning for 3D Data
Optimal transport for statistics and machine learning
Geometry and topology for scientific computing and shape analysis

Member

Visual Computing Community of Research
Geometry, graphics, vision, machine learning, optimization.
Torralba

PI
Core/Dual

Antonio Torralba

Professor
Vision, graphics, perception, machine learning
Torralba
T 324-0900
RM 32-386G

Lead

Vision Group
Understanding Light via Deep Neural Networks
Understandable Deep Networks
Understanding Food images

Member

Predictive Vision
Where Are They Looking?
Single-Image 3D Interpreter Network
VirtualHome: Representing Activities as Programs
Places Database for Scene Recognition
Semantic Scene Understanding through ADE20K dataset
Crossing the Vision-Language Boundary
Center for Deployable Machine Learning (CDML)
Visual Computing Community of Research
Embodied Intelligence Community of Research
Vision, graphics, perception, machine learning

35 News Results

gtown law2
Security & Cryptography Cybersecurity

MIT engineering students team up with Georgetown lawyers-in-training on internet privacy legislation

Every spring, engineering students from MIT and law students from Georgetown University overcome the distance between their institutions and disciplines in a semester-long flurry of virtual classroom meetings and late-night Google hangout sessions, culminating in presentations to policy experts in DC.

MIT engineering students team up with Georgetown lawyers-in-training on internet privacy legislation

F. Harrell
AI & ML Programming Languages & Software Engineering Education Entertainment

3Q: D. Fox Harrell on his video game for the #MeToo era

The Imagination, Computation, and Expression Laboratory at MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL) has released a new video game called Grayscale, which is designed to sensitize players to problems of sexism, sexual harassment, and sexual assault in the workplace.

3Q: D. Fox Harrell on his video game for the #MeToo era

bbva1
Algorithms & Theory Security & Cryptography Big Data Cybersecurity Education Entertainment Health Care Internet of Things Manufacturing

Goldwasser, Micali, and Rivest win BBVA Foundation Frontiers of Knowledge Awards

This week it was announced that MIT professors and CSAIL principal investigators Shafi Goldwasser, Silvio Micali, Ronald Rivest, and former MIT professor Adi Shamir won this year’s BBVA Foundation Frontiers of Knowledge Awards in the Information and Communication Technologies category for their work in cryptography.

Goldwasser, Micali, and Rivest win BBVA Foundation Frontiers of Knowledge Awards