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

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

Tommi Jaakkola

PI
Core/Dual

Tommi Jaakkola

Professor
Machine learning, natural language processing, genomics
Tommi Jaakkola
T 253-0440
RM 32-G470

Lead

Machine Learning
Natural Language Processing Group
Aspect-Augmented Adversarial Networks for Domain Adaptation
Learning Strategic Games
Structured Prediction Through Randomization
Interpretability in complex machine learning models

Member

Learning Optimal Interventions
Vertical AI Community of Research
Machine learning, natural language processing, genomics
Jackson image

PI
Core/Dual

Daniel Jackson

Professor
Software design, programming, systems
Jackson image
T 258-8471
RM 32-G704

Lead

Human-Computer Interaction
Software Design Group
Rethinking Software Design
Gitless: a simple version control system built on top of Git
Déjà Vu: Constructing Apps from Concepts
Security by Design for Cyberphysical Systems
Poirot: Secure Protocol Implementation by Design
An Interlock for Self Driving Cars
Alloy

Member

Espalier
Human-Computer Interaction Community of Research
Systems Community of Research
Software design, programming, systems
Karger

PI
Core/Dual

David Karger

Professor
Helping people manage information
Karger
T 258-6167
RM 32-G592

Lead

Haystack Group
Human-Computer Interaction
Algorithms Group
Mavo: Creating Interactive Data-Driven Web Applications by Authoring HTML
Wikum: Bridging Discussion Systems and Wikis with Collective Summarization
Squadbox: Combating Online Harassment using Friendsourced Moderation
Eyebrowse: Social and Public Web Browsing

Member

Human-Computer Interaction Community of Research
Theory of Computation Community of Research
Systems Community of Research
Helping people manage information

Henry Lieberman

Research Scientist
Henry Lieberman is a Research Scientist at MIT CSAIL, in AI and HCI.
Henry Lieberman is a Research Scientist at MIT CSAIL, in AI and HCI.
Madden

PI
Core/Dual

Sam Madden

Professor
Systems for processing and manipulating data
Madden
T 258-6643
RM 32-G938

Lead

Data Systems Group
Aurum: Large Scale Data Discovery
System that Learns From IoT
Data Civilizer
Autonomous Vehicle Databases
Building a Scalable Database for Autonomous Vehicles
Chameleon: Using Machine Learning to Make Databases Faster!
Data Discovery
Systems Community of Research
Video Data Querying
Starling: Query Optimization for Cloud Services

Member

Aurum: Large Scale Data Discovery
Computation Structures Group
Systems for processing and manipulating data

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

Project

Fact-Checking and Reasoning

Spoken Language Systems Group
Our main goal is to develop fact checking algorithms that can assess the credibility of claims mentioned in the textual statements and provide interpretable valid evidence that explains why a certain claim is considered as factually true or fake.