Research

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

Impact Areas

Lead

Martin Rinard

2 Project Results matching all criteria

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

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

Hanshen Xiao

1 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

49 Group Results

Research Group

Advanced Network Architecture Group

The challenge that motivates the ANA group is to foster a healthy future for the Internet. The interplay of private sector investment, public sector regulation and public interest advocacy, as well as the global diversity in drivers and aspirations, makes for an uncertain future.

David Clark

Karen Sollins

Leads

David Clark

Karen Sollins

Research Areas

Impact Areas

Lead

David Clark

Karen Sollins

David Clark

Karen Sollins

Research Group

Algorithms Group

We devise new mathematical tools to tackle the increasing difficulty and importance of problems we pose to computers.

Leads

Costis Daskalakis

Erik Demaine

Michael Goemans

Piotr Indyk

David Karger

Jonathan Kelner

Tom Leighton

Charles E. Leiserson

Aleksander Madry

Ankur Moitra

Ronitt Rubinfeld

Nir Shavit

Ryan Williams

Virginia Vassilevska Williams

Research Areas

Impact Areas

Lead

Costis Daskalakis

Erik Demaine

Michael Goemans

Piotr Indyk

David Karger

Jonathan Kelner

Tom Leighton

Charles E. Leiserson

Aleksander Madry

Ankur Moitra

Ronitt Rubinfeld

Nir Shavit

Ryan Williams

Virginia Vassilevska Williams

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

Research Group

Applied Computing Group

We design software for high performance computing, develop algorithms for numerical linear algebra, and research random matrix theory and its applications.

Leads

Research Areas

Impact Areas

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

Broderick Lab

We work in the areas of statistics and machine learning.

Tamara Broderick

Leads

Tamara Broderick

Research Areas

Impact Areas

Lead

Tamara Broderick

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.

+10

Peter Szolovits

Leads

Peter Szolovits

Research Areas

Impact Areas

Manufacturing

Lead

Peter Szolovits

+10

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

Complexity Theory Group

Our interests span quantum complexity theory, barriers to solving P versus NP, theoretical computer science with a focus on probabilistically checkable proofs (PCP), pseudo-randomness, coding theory, and algorithms.

Leads

Shafi Goldwasser

Ronitt Rubinfeld

Michael Sipser

Ryan Williams

Virginia Vassilevska Williams

Research Areas

Impact Areas

Lead

Shafi Goldwasser

Ronitt Rubinfeld

Michael Sipser

Ryan Williams

Virginia Vassilevska Williams

Research Group

Computation and Biology

Our lab focuses on designing algorithms to gain biological insights from advances in automated data collection and the subsequent large data sets drawn from them.

Bonnie Berger

Leads

Bonnie Berger

Research Areas

Impact Areas

Lead

Bonnie Berger

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

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

Our group’s goal is to create, based on such microscopic connectivity and functional data, new mathematical models explaining how neural tissue computes.

Nir Shavit

Leads

Nir Shavit

Research Areas

Impact Areas

Lead

Nir Shavit

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

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

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.

+13

Daniela Rus

Leads

Daniela Rus

Research Areas

Impact Areas

Lead

Daniela Rus

+13

Daniela Rus

130 Project Results

Project

3D Generative Adversarial Networks

Vision Group

We study the problem of 3D object generation. We propose a novel framework, 3D Generative Adversarial Network (3D-GAN), leveraging recent advances in volumetric convolutional networks and generative adversarial nets.

Leads

Research Areas

Computation Structures Group

Impact Areas

Manufacturing

Project

A new way of handling all-to-all broadcast

We design a new all-to-all broadcasts scheme with significantly less communication cost using aggregate signatures.

Alin Tomescu

Jun Wan

Leads

Jun Wan

Research Areas

Alin Tomescu

Jun Wan

Project

A Simplified and Extensible Cilk Runtime for Research

CilkS is a new runtime system for the Cilk multithreaded programming environment which makes it easy to experiment with new algorithms, data structures, and programming linguistics.

Charles E. Leiserson

Tao Schardl

Leads

Charles E. Leiserson

Tao Schardl

Research Areas

Learning and Intelligent Systems

Charles E. Leiserson

Tao Schardl

Project

Active Learning of Models for Planning

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.

Leslie Kaelbling

Tomas Lozano-Perez

Leads

Leslie Kaelbling

Tomas Lozano-Perez

Research Areas

Impact Areas

Anyscale Learning for All ALFA

Entertainment

Leslie Kaelbling

Tomas Lozano-Perez

Project

Adversarial Cyber Security

Applied Machine Learning Community of Research

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

Una-May O'Reilly

Project

Algebraic Techniques for Algorithm Design

We work on improving the algorithms for algebraic problems like matrix multiplication, and using these to design algorithms for fundamental non-algebraic problems.

Virginia Vassilevska Williams

Leads

Virginia Vassilevska Williams

Research Areas

Virginia Vassilevska Williams

Project

Algorithmic Aspects of Performance Engineering

Supertech Research Group

The project concerns algorithmic solutions for writing fast codes.

Leads

Research Areas

Impact Areas

Human-Computer Interaction Community of Research

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

Theory of Distributed Systems Group

Impact Areas

Daniel Jackson

Project

An Algorithmic Theory of Brain Networks

We are developing an algorithmic theory for brain networks, based on simple synchronized stochastic graph-based neural network models.

Nancy Lynch

Leads

Nancy Lynch

Research Areas

Computer-Aided Programming

Nancy Lynch

Project

An Interlock for Self Driving Cars

Software Design Group

Human-Computer Interaction Community of Research

Self-driving cars are likely to be safer, on average, than human-driven cars. But they may fail in new and catastrophic ways that a human driver could prevent. This project is designing a new architecture for a highly dependable self-driving car.

Daniel Jackson

Armando Solar-Lezama

Leads

Daniel Jackson

Armando Solar-Lezama

Research Areas

Impact Areas

Interactive Robotics Group

Daniel Jackson

Armando Solar-Lezama

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

Manufacturing

Project

Approximating the diameter of a directed graph

There is a family of approximation algorithms for computing the diameter of an undirected graph that give a time/accuracy trade-off and our goal is to extend these results to directed graphs.

Virginia Vassilevska Williams

Leads

Virginia Vassilevska Williams

Research Areas

Spoken Language Systems Group

Virginia Vassilevska Williams

Project

Arabic Language Processing

The Arabic language is spoken by over one billion people around the world. Arabic presents a variety of challenges for speech and language processing technologies. In our group, we have several research topics examining Arabic, including dialect identification, speech recognition, machine translation, and language processing.

Mitra Mohtarami

Leads

Mitra Mohtarami

Research Areas

Weiss Laboratory for Synthetic Biology

Mitra Mohtarami

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

Natural Language Processing Group

Project

Aspect-Augmented Adversarial Networks for Domain Adaptation

We propose a novel aspect-augmented adversarial network for cross-aspect and cross-domain adaptation tasks. The effectiveness of our approach suggests the potential application of adversarial networks to a broader range of NLP tasks for improved representation learning, such as machine translation and language generation.

Regina Barzilay

Tommi Jaakkola

Leads

Regina Barzilay

Tommi Jaakkola

Research Areas

Model-Based Embedded and Robotics Systems Group

Regina Barzilay

Tommi Jaakkola

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

Spoken Language Systems Group

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

Autonomous Vehicle Databases

Data Systems Group

The impending success of AV technology will create vehicles that collect sensor data at a high rate.

Michael Stonebraker

Sam Madden

Leads

Michael Stonebraker

Sam Madden

Research Areas

Impact Areas

Clinical Decision-Making Group

Michael Stonebraker

Sam Madden

Project

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

Applied Machine Learning Community of Research

Adding domain knowledge to word embeddings.

Peter Szolovits

Leads

Peter Szolovits

Research Areas

Impact Areas

Cryptography and Information Security Group

Peter Szolovits

Project

Basing Cryptography on Structured Hardness

We aim to base a variety of cryptographic primitives on complexity theoretic assumptions. We focus on the assumption that there exist highly structured problems --- admitting so called "zero-knowledge" protocols --- that are nevertheless hard to compute

Leads

Research Areas

Project

Bayesian Optimization for Global Optimization of Expensive Black-box Functions

Learning and Intelligent Systems

We study the fundamentals of Bayesian optimization and develop efficient Bayesian optimization methods for global optimization of expensive black-box functions originated from a range of different applications.

Leads

Research Areas

Impact Areas

Project

Better Models for Ride-Sharing

Traffic is not just a nuisance for drivers: It’s also a public health hazard and bad news for the economy.

Leads

Research Areas

Impact Areas

Energy

Project

Bridging Theory and Practice in Shared-Memory Parallel Algorithm Design

This project aims to design parallel algorithms for shared-memory machines that are efficient both in theory and also in practice.

Julian Shun

Leads

Julian Shun

Research Areas

Impact Areas

Decentralized Information Group

Julian Shun

Project

The Car Can Explain!

Computing & Society Community of Research

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

Embodied Intelligence Community of Research

Gerald Sussman

Lalana Kagal

131 People Results

PI
Core/Dual

Ted Adelson

Professor

Vision, touch sensing, robotics

E adelson@csail.mit.edu

T 253-0645

Lead

Vision Group

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

Ekin Akyürek

Graduate Student

First year PhD student in computer science

E akyurek@mit.edu

First year PhD student in computer science

Alexander Amini

Graduate Student

PhD Candidate. Deep Learning; Robotics

E Amini@mit.edu

Lead

Robust Learning for Autonomous Vehicles

Member

Self-Driving Vehicles

Natural Language Processing Group

PhD Candidate. Deep Learning; Robotics

Brandon Araki

Graduate Student

E araki@csail.mit.edu

Anish Athalye

Graduate Student

PhD student in PDOS

E aathalye@mit.edu

RM 32-G978A

PhD student in PDOS

PI
Core/Dual

Regina Barzilay

Professor

Natural language processing, machine learning

E regina@csail.mit.edu

T 258-5706

Lead

Aspect-Augmented Adversarial Networks for Domain Adaptation

Member

Applied Machine Learning Community of Research

Natural language processing, machine learning

Cenk Baykal

Graduate Student

E baykal@mit.edu

RM 32-376C

Member

Coresets for Machine Learning Algorithms

Laurent Bindschaedler

Postdoctoral Fellow

Systems for Big Data and ML. ML for Systems.

E bindscha@mit.edu

Member

Data Systems Group

Systems for Big Data and ML. ML for Systems.

William Boag

Graduate Student

Clinical NLP

E wboag@mit.edu

Lead

Synthetically-Identified Clinical Notes

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 Decision-Making Group

Clinical NLP

PI
Core/Dual

Tamara Broderick

Associate Professor

Machine learning, statistics, Bayesian methods, inference

E tbroderick@csail.mit.edu

T 324-6749

Lead

Scalable Bayesian Inference via Adaptive Data Summaries

Scalable Bayesian inference with optimization

Broderick Lab

Member

Machine learning, statistics, Bayesian methods, inference

Noam Buckman

Graduate Student

PhD Candidate. Autonomous vehicles. Multi-robot systems.

E nbuckman@mit.edu

Member

Model-Based Embedded and Robotics Systems Group

Self-Driving Vehicles

PhD Candidate. Autonomous vehicles. Multi-robot systems.

Richard Camilli

Research Affiliate

E romeo@mit.edu

Member

Geeticka Chauhan

Graduate Student

E geeticka@mit.edu

Member

Clinical Decision-Making Group

Quantification of Pulmonary Edema in Chest Radiographs

Irene Chen

Graduate Student

Machine learning, healthcare, fairness

E iychen@mit.edu

Member

Clinical Machine Learning Group

Kami: A Modular Deductive Hardware Verification Platform

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

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

Yu-An Chung

Graduate Student

Speech and language processing, machine learning

E andyyuan@mit.edu

Lead

Unsupervised Speech Processing

Member

Spoken Language Systems Group

Speech and language processing, machine learning

Valentin Churavy

Graduate Student

#JuliaLang, #GPU, #HPC

E vchuravy@MIT.EDU

Member

Julia Lab

Adversarial Cyber Security

#JuliaLang, #GPU, #HPC

PI
Core/Dual

David Clark

Senior Research Scientist

Internet architectures, communications policy, security

E ddc@csail.mit.edu

T 253-6003

Lead

Advanced Network Architecture Group

Internet Policy Research Initiative

Member

Computing & Society Community of Research

Systems Community of Research

Internet architectures, communications policy, security

PI
Core/Dual

Henry Corrigan-Gibbs

Assistant Professor

E henrycg@csail.mit.edu

T 253-0301

RM 32-G970A

PI
Core/Dual

Costis Daskalakis

Associate Professor

Algorithms, Economics, Game Theory, Statistics, Machine Learning

E costis@csail.mit.edu

T 253-9643

Lead

Algorithms Group

Is the Casino using a Riffle Shuffle?

Understanding Convergence of Iterative Algorithms

Center for Deployable Machine Learning (CDML)

Member

Algorithms, Economics, Game Theory, Statistics, Machine Learning

Azim Dehghani Amirabad

Postdoctoral Associate

Machine learning, Bioinformatics

E azimd@csail.mit.edu

Machine learning, Bioinformatics

PI
Core/Dual

Erik Demaine

Professor

Algorithms, theory, computational geometry, complexity

E edemaine@mit.edu

T 253-6871

Lead

Algorithms Group

Member