Research

  • Research Areas
  • Impact Areas

Algorithms & Theory

Foundational work that includes complexity, parallel computing and game theory

Computing & Health

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

Opportunities Available

Research Areas

Impact Areas

Reset Filters

31 Group Results matching all criteria

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
Computing & Health
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

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
Edelman
+21
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
Edelman
+21
 
Daskalakis

Costis Daskalakis

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
Computing & Health
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
+8
Rinard

Martin Rinard

Leads

Rinard

Martin Rinard

Research Areas

Algorithms & Theory
Computing & Health
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
+8
 
Rinard

Martin Rinard

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

41 Project Results matching all criteria

Project

Unsupervised Learning of Interpretable Representations from Sequential Data

Spoken Language Systems Group
Generation of sequential data involves multiple factors operating at different temporal scales. Take natural speech for example, the speaker identity tends to be consistent within an utterance, while the phonetic content changes from frame to frame. By explicitly modeling such hierarchical generative process under a probabilistic framework, we proposed a model that learns to factorizes sequence-level factors and sub-sequence-level factors into different sets of representations without any supervision.
weining_hsu

Wei-Ning Hsu

Jim Glass

Jim Glass

Leads

weining_hsu

Wei-Ning Hsu

Jim Glass

Jim Glass

Research Areas

Computing & Health

Impact Areas

Big Data
 
weining_hsu

Wei-Ning Hsu

Jim Glass

Jim Glass

75 People Results matching all criteria

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

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

Evan Hernandez

Graduate Student
Natural language processing, machine learning, interpretability
Natural language processing, machine learning, interpretability

20 News Results matching all criteria

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

Researchers at MIT and Massachusetts General Hospital have designed a new system that can efficiently search through hundreds of hours of video of laparoscopic surgeries to identify relevant events and visual features.
Computing & Health Big Data Health Care

Shrinking data for surgical training

Laparoscopy is a surgical technique in which a fiber-optic camera is inserted into a patient’s abdominal cavity to provide a video feed that guides the surgeon through a minimally invasive procedure. Laparoscopic surgeries can take hours, and the video generated by the camera — the laparoscope — is often recorded. Those recordings contain a wealth of information that could be useful for training both medical providers and computer systems that would aid with surgery, but because reviewing them is so time consuming, they mostly sit idle.

Shrinking data for surgical training

Daniel Jackson was awarded the Outstanding Research Award and Impact Paper Award (photo credit Sharona Jacobs)
Algorithms & Theory Computing & Health 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

MIT researchers have developed a new approach to training speech-recognition systems that doesn’t depend on transcription. Instead, their system analyzes correspondences between images and spoken descriptions of those images, as captured in a large collection of audio recordings.
Computing & Health Human-Computer Interaction Big Data

Learning words from pictures

Speech recognition systems, such as those that convert speech to text on cellphones, are generally the result of machine learning. A computer pores through thousands or even millions of audio files and their transcriptions, and learns which acoustic features correspond to which typed words.But transcribing recordings is costly, time-consuming work, which has limited speech recognition to a small subset of languages spoken in wealthy nations.

Learning words from pictures

System that learns to distinguish words’ phonemes could aid development of speech-processing systems for under-studied languages
Computing & Health Human-Computer Interaction Big Data Education Entertainment Internet of Things

Learning spoken language

Every language has its own collection of phonemes, or the basic phonetic units from which spoken words are composed. Depending on how you count, English has somewhere between 35 and 45. Knowing a language’s phonemes can make it much easier for automated systems to learn to interpret speech.In the 2015 volume of Transactions of the Association for Computational Linguistics, CSAIL researchers describe a new machine-learning system that, like several systems before it, can learn to distinguish spoken words. But unlike its predecessors, it can also learn to distinguish lower-level phonetic units, such as syllables and phonemes.

Learning spoken language

Image: Jose-Luis Olivares
Algorithms & Theory Computing & Health Systems & Networking Big Data Energy

What better wind-speed prediction can do for the energy industry

When a power company wants to build a new wind farm, it generally hires a consultant to make wind speed measurements at the proposed site for eight to 12 months. Those measurements are correlated with historical data and used to assess the site’s power-generation capacity.This month CSAIL researchers will present a new statistical technique that yields better wind-speed predictions than existing techniques do — even when it uses only three months’ worth of data. That could save power companies time and money, particularly in the evaluation of sites for offshore wind farms, where maintaining measurement stations is particularly costly.

What better wind-speed prediction can do for the energy industry

Big Data

ALFA Researchers Win Best Paper Award

Members of the CSAIL AnyScale Learning For All (ALFA) were honored with the best paper award at the 2012 EvoPAR track of the Evo-Applications conference. The paper, "FlexGP: Genetic programming on the cloud," is co-authored by Dylan Sherry, Kalyan Veeramachaneni, James McDermott and Una-May O'Reilly.

The paper presents a prototyped design for a decentralized, robust genetic programming algorithm capable of operating on the cloud.

ALFA is lead by Dr. Una-May O'Reilly, a principal research scientist at CSAIL. The group is focused on developing efficient ways to solve hard optimization and design problems in domains of high complexity.

ALFA Researchers Win Best Paper Award

31 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
Computing & Health
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
Computing & Health
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 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.
+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

Computing & Health
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

+2

41 Project Results

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

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.

Leads

Hao Tang

Hao Tang

weining_hsu

Wei-Ning Hsu

Harwath-headshot

David Harwath

MIT CSAIL Spoken Language Systems PhD student

Sameer Khurana

Di-Chia Chueh Profile Image

Di-Chia Chueh

Jim Glass

Jim Glass

Research Areas

Computing & Health
Human-Computer Interaction

Impact Areas

Big Data
Education
Entertainment
Health Care
Internet of Things

Project

Determining Wikipedia's Influence on Science

Supertech Research Group
Wikipedia is one of the most widely accessed encyclopedia sites in the world, including by scientists. Our project aims to investigate just how far Wikipedia’s influence goes in shaping science.
Neil Thompson Headshot

Neil Thompson

Professor Charles E. Leiserson

Charles E. Leiserson

Leads

Neil Thompson Headshot

Neil Thompson

Professor Charles E. Leiserson

Charles E. Leiserson

Research Areas

Algorithms & Theory
Human-Computer Interaction
Programming Languages & Software Engineering

Impact Areas

Big Data
Education
 
Neil Thompson Headshot

Neil Thompson

Professor Charles E. Leiserson

Charles E. Leiserson

75 People Results

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

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

Evan Hernandez

Graduate Student
Natural language processing, machine learning, interpretability
Natural language processing, machine learning, interpretability

20 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

Researchers at MIT and Massachusetts General Hospital have designed a new system that can efficiently search through hundreds of hours of video of laparoscopic surgeries to identify relevant events and visual features.
Computing & Health Big Data Health Care

Shrinking data for surgical training

Laparoscopy is a surgical technique in which a fiber-optic camera is inserted into a patient’s abdominal cavity to provide a video feed that guides the surgeon through a minimally invasive procedure. Laparoscopic surgeries can take hours, and the video generated by the camera — the laparoscope — is often recorded. Those recordings contain a wealth of information that could be useful for training both medical providers and computer systems that would aid with surgery, but because reviewing them is so time consuming, they mostly sit idle.

Shrinking data for surgical training

Daniel Jackson was awarded the Outstanding Research Award and Impact Paper Award (photo credit Sharona Jacobs)
Algorithms & Theory Computing & Health 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

MIT researchers have developed a new approach to training speech-recognition systems that doesn’t depend on transcription. Instead, their system analyzes correspondences between images and spoken descriptions of those images, as captured in a large collection of audio recordings.
Computing & Health Human-Computer Interaction Big Data

Learning words from pictures

Speech recognition systems, such as those that convert speech to text on cellphones, are generally the result of machine learning. A computer pores through thousands or even millions of audio files and their transcriptions, and learns which acoustic features correspond to which typed words.But transcribing recordings is costly, time-consuming work, which has limited speech recognition to a small subset of languages spoken in wealthy nations.

Learning words from pictures

System that learns to distinguish words’ phonemes could aid development of speech-processing systems for under-studied languages
Computing & Health Human-Computer Interaction Big Data Education Entertainment Internet of Things

Learning spoken language

Every language has its own collection of phonemes, or the basic phonetic units from which spoken words are composed. Depending on how you count, English has somewhere between 35 and 45. Knowing a language’s phonemes can make it much easier for automated systems to learn to interpret speech.In the 2015 volume of Transactions of the Association for Computational Linguistics, CSAIL researchers describe a new machine-learning system that, like several systems before it, can learn to distinguish spoken words. But unlike its predecessors, it can also learn to distinguish lower-level phonetic units, such as syllables and phonemes.

Learning spoken language

Image: Jose-Luis Olivares
Algorithms & Theory Computing & Health Systems & Networking Big Data Energy

What better wind-speed prediction can do for the energy industry

When a power company wants to build a new wind farm, it generally hires a consultant to make wind speed measurements at the proposed site for eight to 12 months. Those measurements are correlated with historical data and used to assess the site’s power-generation capacity.This month CSAIL researchers will present a new statistical technique that yields better wind-speed predictions than existing techniques do — even when it uses only three months’ worth of data. That could save power companies time and money, particularly in the evaluation of sites for offshore wind farms, where maintaining measurement stations is particularly costly.

What better wind-speed prediction can do for the energy industry

Big Data

ALFA Researchers Win Best Paper Award

Members of the CSAIL AnyScale Learning For All (ALFA) were honored with the best paper award at the 2012 EvoPAR track of the Evo-Applications conference. The paper, "FlexGP: Genetic programming on the cloud," is co-authored by Dylan Sherry, Kalyan Veeramachaneni, James McDermott and Una-May O'Reilly.

The paper presents a prototyped design for a decentralized, robust genetic programming algorithm capable of operating on the cloud.

ALFA is lead by Dr. Una-May O'Reilly, a principal research scientist at CSAIL. The group is focused on developing efficient ways to solve hard optimization and design problems in domains of high complexity.

ALFA Researchers Win Best Paper Award