Research

Impact Areas

Lead

Una-May O'Reilly

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

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

Decentralized Information Group

Impact Areas

Lead

Martin Rinard

1 Project Results matching all criteria

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

Anyscale Learning for All ALFA

Impact Areas

Lalana Kagal

Vaikkunth Mugunthan

2 People Results matching all criteria

PI
Core/Dual

Una-May O'Reilly

Principal Research Scientist

Applied AI and ML in cybersecurity, healthcare, education

E unamay@csail.mit.edu

T 253-6437

Lead

Adversarial Cyber Security

GIGABEATS: Data science for medical sensor data

MOOC Learner Project: Data science for e-learning

Member

Distributed Robotics Laboratory

Applied AI and ML in cybersecurity, healthcare, education

PI
Core/Dual

Daniela Rus

Director

CSAIL director, robotics, AI, data science, privacy

E rus@csail.mit.edu

T 258-7567

RM 32/ 32-368/ 374

Lead

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

2 News Results matching all criteria

Algorithms & Theory AI & ML Computational Biology Computer Architecture Graphics & Vision Human-Computer Interaction Programming Languages & Software Engineering Robotics Security & Cryptography Systems & Networking Cybersecurity Education Energy Entertainment Health Care Manufacturing Transportation Wireless

June 27 '19

CSAIL hosts first-ever TEDxMIT

Speakers — all women — discuss everything from gravitational waves to robot nurses

CSAIL hosts first-ever TEDxMIT

AI & ML Computational Biology Security & Cryptography Cybersecurity Health Care

October 18 '18

Cryptographic protocol enables greater collaboration in drug discovery

Neural network that securely finds potential drugs could encourage large-scale pooling of sensitive data.

Cryptographic protocol enables greater collaboration in drug discovery

28 Group Results

Research Group

Anyscale Learning for All ALFA

Our vision is data-driven machine learning systems that advance the quality of healthcare, the understanding of cyber arms races and the delivery of online education.

Una-May O'Reilly

Leads

Una-May O'Reilly

Research Areas

Impact Areas

Lead

Una-May O'Reilly

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.

Una-May O'Reilly

Leads

Una-May O'Reilly

Research Areas

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 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

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.

+11

Peter Szolovits

Leads

Peter Szolovits

Research Areas

Impact Areas

Manufacturing

Lead

Peter Szolovits

+11

Peter Szolovits

Research Group

Clinical Machine Learning Group

Our group is interested in using machine learning and artificial intelligence to transform health care.

David Sontag

Leads

David Sontag

Research Areas

Impact Areas

Lead

David Sontag

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.

Howard Shrobe

Leads

Howard Shrobe

Research Areas

Impact Areas

Lead

Howard Shrobe

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

Computer Architecture

Impact Areas

Wireless

Lead

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

+21

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 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

Community of Research

Computing & Society Community of Research

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

Wireless

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

Wireless

Lead

Sam Madden

Michael Stonebraker

Tim Kraska

+15

Research Group

Data-Driven Inference Group

We use machine learning and computer vision to improve outcomes in medicine, finance, and sports

John Guttag

Leads

John Guttag

Research Areas

Impact Areas

Lead

John Guttag

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

Distributed Robotics Laboratory

We aim to develop the science of autonomy toward a future with robots and AI systems integrated into everyday life, supporting people with cognitive and physical tasks.

+12

Daniela Rus

Leads

Daniela Rus

Research Areas

Impact Areas

Lead

Daniela Rus

+12

Daniela Rus

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

Lecturers

Lecturers in CSAIL

Leads

Research Areas

Impact Areas

Research Group

Machine Learning

We work on a variety of topics spanning theoretical foundations, algorithms, and applications.

Leads

Tamara Broderick

Tommi Jaakkola

Stefanie Jegelka

Leslie Kaelbling

David Sontag

Research Areas

Impact Areas

Lead

Tamara Broderick

Tommi Jaakkola

Stefanie Jegelka

Leslie Kaelbling

David Sontag

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

Impact Areas

Lead

Polina Golland

Research Group

Natural Language Processing Group

Our research encompasses all aspects of NLP, from modeling basic linguistic phenomena to designing practical text processing systems, and developing new machine learning methods.

Regina Barzilay

Tommi Jaakkola

Leads

Regina Barzilay

Tommi Jaakkola

Research Areas

Impact Areas

Lead

Regina Barzilay

Tommi Jaakkola

Regina Barzilay

Tommi Jaakkola

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

Research Group

Spoken Language Systems Group

Our goal is to create technology that makes it possible for everyone in the world to interact with with computers via natural spoken language.

Jim Glass

Leads

Jim Glass

Research Areas

Anyscale Learning for All ALFA

Impact Areas

Lead

Jim Glass

43 Project Results

Project

Adversarial Cyber Security

Our goal is to understand the nature of cyber security arms races between malicious and bonafide parties. Our vision is autonomous cyber defenses that anticipate and take measures against counter attacks.

Una-May O'Reilly

Leads

Una-May O'Reilly

Research Areas

Impact Areas

Human-Computer Interaction Community of Research

Una-May O'Reilly

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

Interactive Robotics Group

Impact Areas

Daniel Jackson

Project

Apprenticeship Scheduling: Learning to Schedule From Human Experts

Robot scheduling via learning from demonstration for tasks in medicine and more

Leads

Research Areas

Impact Areas

Weiss Laboratory for Synthetic Biology

Manufacturing

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

Model-Based Embedded and Robotics Systems Group

Project

Automated Attack Tree Generation for Critical Infrastructure

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

Leads

Howard Shrobe

Research Areas

Impact Areas

Howard Shrobe

Project

Automatic Speech Recognition

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.

Sameer Khurana

Jim Glass

Leads

Sameer Khurana

Jim Glass

Research Areas

Impact Areas

Sameer Khurana

Jim Glass

Project

AWE-CM Vectors: Augmenting Word Embeddings with a Clinical Metathesaurus

Adding domain knowledge to word embeddings.

Peter Szolovits

Leads

Peter Szolovits

Research Areas

Impact Areas

Decentralized Information Group

Peter Szolovits

Project

The Car Can Explain!

Developing techniques to allow self-driving cars and other AI-driven systems to explain behaviors and failures.

Gerald Sussman

Lalana Kagal

Leads

Gerald Sussman

Lalana Kagal

Research Areas

Impact Areas

Transportation

Gerald Sussman

Lalana Kagal

Project

Cardiac MRI analysis

We develop image analysis algorithms for whole-heart cardiac MRI in patients with severe congenital heart disease.

Polina Golland

Leads

Polina Golland

Research Areas

Impact Areas

Polina Golland

Project

Clinical Intervention Prediction with Neural Networks

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

Clinical Neuroimaging

We develop novel algorithms for neuroimage segmentation, registration, and joint modeling of brain structure with clinical and genetic data.

Polina Golland

Leads

Polina Golland

Research Areas

Impact Areas

Polina Golland

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

Cryptography and Information Security Group

Michael Stonebraker

Sam Madden

Project

Data Garbling: Computing on Encrypted Data

Theory of Computation Community of Research

We are investigating the limits of computing on encrypted data, with a focus on the private outsourcing of computation over sensitive data.

Leads

Research Areas

Impact Areas

Advanced Network Architecture Group

Project

Denial of Service Mitigation through Protocol Design

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

Leads

Karen Sollins

Research Areas

Impact Areas

Karen Sollins

Project

Detecting Voice Misuse to Diagnose Disorders

Our team uses accelerometers and machine learning to help detect vocal disorders. We capture data about the motions of patient's vocal folds to determine if their vocal behavior is normal or abnormal.

Marzyeh Ghassemi

John Guttag

Leads

Marzyeh Ghassemi

John Guttag

Research Areas

Impact Areas

Vertical AI Community of Research

Marzyeh Ghassemi

John Guttag

Project

EQ-Radio: Emotion Recognition using Wireless Signals

Networks at MIT

EQ-Radio can infer a person’s emotions using wireless signals. It transmits an RF signal and analyzes its reflections off a person’s body to recognize his emotional state (happy, sad, etc.).

Dina Katabi

Leads

Dina Katabi

Research Areas

Impact Areas

Entertainment

Geometric Data Processing Group

Internet of Things

Dina Katabi

Project

Geometry and topology for scientific computing and shape analysis

Computer Graphics Group

Developing state-of-the-art tools that process 3D surfaces and volumes

Justin Solomon

Leads

Justin Solomon

Research Areas

Impact Areas

Anyscale Learning for All ALFA

Justin Solomon

Project

GIGABEATS: Data science for medical sensor data

Our goal is to help medical researchers and clincians understand the growing repositories of waveform and signal data collected from critically ill patients.

Una-May O'Reilly

Leads

Una-May O'Reilly

Research Areas

Impact Areas

Una-May O'Reilly

Project

Health-related Biomarkers from Speech

From audio recordings of clinician-subject interactions, we determine the spoken language bio-markers that are associated with health outcomes, such as dementia and depression.

Leads

Research Areas

Impact Areas

Project

Information Retrieval for Cancer Treatments in Clinical Literature and Trial Eligibility

A "precision medicine" approach for finding relevant cancer treatments in clinical literature and eligible trials. For a given patient with associated demographics (age, gender) and disease (cancer type, genetic variants), we query a database of all pubmed articles and clinicaltrials.gov trials using NLP techniques to find the most useful and relevant treatments for the patient. Our ensemble-based system performed very well in the TREC 2016 Precision Medicine challenge.

Peter Szolovits

William Boag

Leads

Peter Szolovits

William Boag

Research Areas

Impact Areas

Internet Policy Research Initiative

Peter Szolovits

William Boag

Project

Keeping America Safe: Toward More Secure Networks for Critical Sectors

Report warns of hacking risk to electric grid, oil pipelines, and other critical infrastructure

Leads

Research Areas

Impact Areas

Internet Policy Research Initiative

Project

Keys Under Doormats

Our report argues that giving the government special access to data poses major security risks

Daniel Weitzner

Leads

Daniel Weitzner

Research Areas

Impact Areas

Daniel Weitzner

Project

Monitoring Fetal Health

We develop algorithms for fetal MRI interpretation, to enable noninvasive fetal monitoring from MRI.

Polina Golland

Leads

Polina Golland

Research Areas

Impact Areas

Polina Golland

Project

Multivariate Signal Representations That Predict ICU Interventions

Our focus is using computational tools to summarize health-related data to help clinicians focus on decision-making rather than just keeping up with the data.

Peter Szolovits

Leads

Peter Szolovits

Research Areas

Impact Areas

Peter Szolovits

56 People Results

PI
Core/Dual

Ted Adelson

Professor

Vision, touch sensing, robotics

E adelson@csail.mit.edu

T 253-0645

Lead

Embodied Intelligence Community of Research

Blood Pressure Imager

Member

Visual Computing Community of Research

Vision, touch sensing, robotics

Monica Agrawal

Graduate Student

E magrawal@mit.edu

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

Regina Barzilay

Professor

Natural language processing, machine learning

E regina@csail.mit.edu

T 258-5706

Lead

Natural Language Processing Group

Aspect-Augmented Adversarial Networks for Domain Adaptation

Member

Vertical AI Community of Research

Synthetically-Identified Clinical Notes

Natural language processing, machine learning

William Boag

Graduate Student

Clinical NLP

E wboag@mit.edu

Lead

Information Retrieval for Cancer Treatments in Clinical Literature and Trial Eligibility

CliNER: Clinical Concept Extraction

Quantifying Racial Disparities in End-of-Life Care

Member

Clinical NLP

Geeticka Chauhan

Graduate Student

E geeticka@mit.edu

Member

Quantification of Pulmonary Edema in Chest Radiographs

Irene Chen

Graduate Student

Machine learning, healthcare, fairness

E iychen@mit.edu

Member

Clinical Machine Learning Group

Machine Learning

Machine learning, healthcare, fairness

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

Computation Structures Group

FSCQ: File-system verification

Unsupervised Speech Processing

Programming languages, formal methods, security & privacy, systems

Yu-An Chung

Graduate Student

Speech and language processing, machine learning

E andyyuan@mit.edu

Lead

Member

Advanced Network Architecture Group

Speech and language processing, machine learning

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

Internet architectures, communications policy, security

PI
Core/Dual

Henry Corrigan-Gibbs

Assistant Professor

E henrycg@csail.mit.edu

T 253-0301

RM 32-G970A

Adrian Dalca

Research Scientist

E adalca@csail.mit.edu

Member

Computation Structures Group

Clinical Neuroimaging

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

PI
Core/Dual

Fredo Durand

Professor

Vision, graphics, computational photography

E fredo@csail.mit.edu

T 253-7223

Lead

Computer Graphics Group

Computational Understanding of Visualizations and Graphic Designs

Member

Computational Bounce Flash for Indoor Portraits

Halide

Visual Computing Community of Research

Vision, graphics, computational photography

R. David Edelman

Director, Project on Technology, Economy & National Security

Machine learning, cybersecurity, governance

E rde@mit.edu

T 258-6389

Machine learning, cybersecurity, governance

Barış Ekim

Graduate Student

E ekim@csail.mit.edu

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.

PI
Core/Dual

Jim Glass

Senior Research Scientist

speech and language processing

E glass@mit.edu

T 253-1640

Lead

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

PI
Core/Dual

Polina Golland

Professor

Vision, medical imaging, statistical inference

E polina@csail.mit.edu

T 253-8005

Lead

Quantification of Pulmonary Edema in Chest Radiographs

Monitoring Fetal Health

Cardiac MRI analysis

Clinical Neuroimaging

Member

Visual Computing Community of Research

Vision, medical imaging, statistical inference

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

Parallel and Distributed Operating Systems

Machine learning, medicine, data-driven inference

Ramin Hasani

Postdoctoral Associate

Machine learning Scientist

E rhasani@csail.mit.edu

Machine learning Scientist

PI
Core/Dual

Frans Kaashoek

Professor

Systems, networks, architectures

E kaashoek@csail.mit.edu

T 253-7149

Lead

Scaling Filesystems To Many Cores

Perennial

Member

Noria: a new data-flow system for web applications

Computation Structures Group

FSCQ: File-system verification