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

2 Group Results matching all criteria

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

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

2 News Results matching all criteria

13 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

Daskalakis

Costis Daskalakis

Erik Demaine

Erik Demaine

Goemans

Michael Goemans

Indyk

Piotr Indyk

Karger

David Karger

Jonathan Kelner

Jonathan Kelner

Leighton

Tom Leighton

Professor Charles E. Leiserson

Charles E. Leiserson

Madry-headshot

Aleksander Madry

Moitra-headshot

Ankur Moitra

Rubinfeld

Ronitt Rubinfeld

shavit-headshot

Nir Shavit

RWilliams-headshot

Ryan Williams

VWilliams-headshot

Virginia Vassilevska Williams

Research Areas

Algorithms & Theory

Impact Areas

Big Data
Cybersecurity
Energy
Wireless

Lead

Daskalakis

Costis Daskalakis

Erik Demaine

Erik Demaine

Goemans

Michael Goemans

Indyk

Piotr Indyk

Karger

David Karger

Jonathan Kelner

Jonathan Kelner

Leighton

Tom Leighton

Professor Charles E. Leiserson

Charles E. Leiserson

Madry-headshot

Aleksander Madry

Moitra-headshot

Ankur Moitra

Rubinfeld

Ronitt Rubinfeld

shavit-headshot

Nir Shavit

RWilliams-headshot

Ryan Williams

VWilliams-headshot

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

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

Goldwasser

Shafi Goldwasser

Rubinfeld

Ronitt Rubinfeld

Sipser

Michael Sipser

RWilliams-headshot

Ryan Williams

VWilliams-headshot

Virginia Vassilevska Williams

Research Areas

Algorithms & Theory

Impact Areas

Big Data
Cybersecurity

Lead

Goldwasser

Shafi Goldwasser

Rubinfeld

Ronitt Rubinfeld

Sipser

Michael Sipser

RWilliams-headshot

Ryan Williams

VWilliams-headshot

Virginia Vassilevska Williams

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

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

9 Project Results

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

Safety Standards for Autonomous Vehicles

Distributed Robotics Laboratory
In this project, we aim to develop a framework that can ensure and certify the safety of an autonomous vehicle. By leveraging research from the area of formal verification, this framework aims to assess the safety, i.e., free of collisions, of a broad class of autonomous car controllers/planners for a given traffic model.

Leads

Lucas_Pic

Lucas Liebenwein

default headshot

Wilko Schwarting

Rus

Daniela Rus

Research Areas

Algorithms & Theory
Robotics

Impact Areas

Transportation

9 People Results

Russ Tedrake

PI
Core/Dual

Russ Tedrake

Professor
Robotics, machine learning, motion planning and control
Russ Tedrake
T 253-1778
RM 32-380B

Lead

Robot Locomotion Group
Localizing External Contact Using Proprioceptive Sensors
Tactile and Physical Perception
Soft Contact Modeling
Self-Driving Vehicles

Member

Tactile and Physical Perception
Task-Driven Co-Optimization Of Articulated Robots
Center for Deployable Machine Learning (CDML)
Embodied Intelligence Community of Research
Robotics, machine learning, motion planning and control
Williams

PI
Core/Dual

Brian Williams

Professor
Robotics, autonomy, artificial intelligence, machine learning
Williams
T 253-2739
RM 32-227

Lead

Model-Based Embedded and Robotics Systems Group
RADMAX
Geordi: A Driver's Assistant for Risk-bounded Maneuvering
Robots Adapting to Human Intent
Risk-aware Network Resource Allocation
Uhura: Personal Assistant that Manages Risk
Artificial Social Intelligence for Successful Teams (ASIST)

Member

Cognitive AI Community of Research
Robotics, autonomy, artificial intelligence, machine learning

23 News Results

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

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

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

Daniel Jackson was awarded the Outstanding Research Award and Impact Paper Award (photo credit Sharona Jacobs)
Algorithms & Theory AI & ML Big Data Cybersecurity

CSAIL's Daniel Jackson receives two ACM awards

This week the Association for Computer Machinery presented CSAIL principal investigator Daniel Jackson with the 2017 ACM SIGSOFT Outstanding Research Award for his pioneering work in software engineering. (This fall he also received the ACM SIGSOFT Impact Paper Award for his research method for finding bugs in code.)An EECS professor and associate director of CSAIL, Jackson was given the Outstanding Research Award for his “foundational contributions to software modeling, the creation of the modeling language Alloy, and the development of a widely used tool supporting model verification.”

CSAIL's Daniel Jackson receives two ACM awards

System directs camera-equipped drones to maintain framing of an aerial shot.
Algorithms & Theory AI & ML Graphics & Vision Robotics Entertainment Transportation

Cinematography on the fly

In recent years, a host of Hollywood blockbusters — including “The Fast and the Furious 7,” “Jurassic World,” and “The Wolf of Wall Street” — have included aerial tracking shots provided by drone helicopters outfitted with cameras. Those shots required separate operators for the drones and the cameras, and careful planning to avoid collisions. But a team of researchers from MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL) and ETH Zurich hope to make drone cinematography more accessible, simple, and reliable.

Cinematography on the fly