Research

Impact Areas

Lead

Lalana Kagal

Tim Berners-Lee

Lalana Kagal

Tim Berners-Lee

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

Impact Areas

Lead

Martin Rinard

4 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

Algorithms & Theory AI & ML Cybersecurity Health Care Internet of Things Manufacturing Transportation Wireless

February 12 '19

MIT CSAIL holds trustworthy AI event with Microsoft

Workshop explores technical directions for making AI safe, fair, and understandable

MIT CSAIL holds trustworthy AI event with Microsoft

Algorithms & Theory Computer Architecture Big Data Cybersecurity Health Care Internet of Things Manufacturing

January 31 '19

MIT hosts workshop on theoretical foundations of deep learning

Last week MIT’s Institute for Foundations of Data Science (MIFODS) held an interdisciplinary workshop aimed at tackling the underlying theory behind deep learning. Led by MIT professor Aleksander Madry, the event focused on a number of research discussions at the intersection of math, statistics, and theoretical computer science.

MIT hosts workshop on theoretical foundations of deep learning

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

January 16 '18

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

14 Group Results

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

Robotics

Impact Areas

Lead

Aleksander Madry

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

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

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

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

Lecturers

Lecturers in CSAIL

Leads

Research Areas

Impact Areas

Education

Research Group

Multicore Algorithmics

We develop techniques for designing, implementing, and reasoning about multiprocessor algorithms, in particular concurrent data structures for multicore machines and the mathematical foundations of the computation models that govern their behavior.

Nir Shavit

Leads

Nir Shavit

Research Areas

Impact Areas

Energy

Lead

Nir Shavit

Research Group

Quantum Information Science Group

Our research interests center around the capabilities and limits of quantum computers, and computational complexity theory more generally.

Peter Shor

Leads

Peter Shor

Research Areas

Impact Areas

Energy

Lead

Peter Shor

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.

+20

Costis Daskalakis

Leads

Costis Daskalakis

Research Areas

Impact Areas

Lead

Costis Daskalakis

+20

Costis Daskalakis

Research Group

Theory of Distributed Systems Group

We work on a wide range of problems in distributed computing theory. We study algorithms and lower bounds for typical problems that arise in distributed systems---like resource allocation, implementing shared memory abstractions, and reliable communication.

Nancy Lynch

Leads

Nancy Lynch

Research Areas

Impact Areas

Lead

Nancy Lynch

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

Cryptography and Information Security Group

Impact Areas

Lead

Martin Rinard

9 Project Results

Project

Data Garbling: Computing on Encrypted Data

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

Geometric Data Processing Group

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

Data-Driven Inference Group

Justin Solomon

Project

Hidden Influencers, Risk and Causes of Infection

We aim to study the causes and transmission modes of infectious diseases among members of a community in the presence of hidden, asymptomatic spreaders of the pathogen.

Maggie Makar

John Guttag

Leads

Maggie Makar

John Guttag

Research Areas

Impact Areas

Data-Driven Inference Group

Maggie Makar

John Guttag

Project

Predicting Adverse Events Across Changing Electronic Health Record Systems

Cognitive AI Community of Research

Applied Machine Learning Community of Research

Transitioning machine learning models across electronic health record (EHR) versions can be improved by mapping different EHR encodings to a common vocabulary.

John Guttag

Peter Szolovits

Leads

John Guttag

Peter Szolovits

Research Areas

Impact Areas

John Guttag

Peter Szolovits

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

Wireless

Hanshen Xiao

Project

Random Graph with Applications in MPC

To explore how randomness in connectivity can improve the performance of secure multi-party computation (MPC) and the properties of communication graph to support MPC.

Leads

Research Areas

Impact Areas

Computational Connectomics Group

Project

Reconstructing Neural Circuits from Mammalian Brain

We develop algorithms, systems and software architectures for automating reconstruction of accurate representations of neural tissue structures, such as nanometer-scale neurons' morphology and synaptic connections in the mammalian cortex.

Yaron Meirovitch

Nir Shavit

Leads

Yaron Meirovitch

Nir Shavit

Research Areas

Impact Areas

Yaron Meirovitch

Nir Shavit

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

Model-Based Embedded and Robotics Systems Group

Aleksander Madry

Project

Uhura: Personal Assistant that Manages Risk

Computation Structures Group

Uhura is an autonomous system that collaborates with humans in planning and executing complex tasks, especially under over-subscribed and risky situations.

Leads

Yuening Zhang

Brian Williams

Howard Shrobe

Research Areas

Impact Areas

Entertainment

Natural Language Processing Group

Manufacturing

9 People Results

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

Aspect-Augmented Adversarial Networks for Domain Adaptation

Member

Vertical AI Community of Research

Applied Machine Learning Community of Research

Natural language processing, machine learning

Barış Ekim

Graduate Student

E ekim@csail.mit.edu

PI
Core/Dual

Shafi Goldwasser

Professor

Theory, cryptography, cybersecurity, complexity

E shafi@csail.mit.edu

T 253-5914

Lead

Cryptography and Information Security Group

Complexity Theory Group

Member

Computation Structures Group

Computational Connectomics Group

Cryptography and Information Security Group

Theory, cryptography, cybersecurity, complexity

PI
Core/Dual

Ronald Rivest

Institute Professor

Cryptography, cybersecurity, RSA public-key encryption

E rivest@mit.edu

T 253-5880

Lead

Member