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

20 Group Results matching all criteria

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.
+3
Clark

David Clark

Karen Sollins

Karen Sollins

Leads

Clark

David Clark

Karen Sollins

Karen Sollins

Research Areas

Security & Cryptography
Systems & Networking

Impact Areas

Wireless

Lead

Clark

David Clark

Karen Sollins

Karen Sollins

+3
 
Clark

David Clark

Karen Sollins

Karen Sollins

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.
Brewer-headshot
Randall Davis
Kagal-headshot
+6
Howard Shrobe

Howard Shrobe

Leads

Howard Shrobe

Howard Shrobe

Research Areas

Human-Computer Interaction
Robotics
Security & Cryptography
Systems & Networking

Impact Areas

Cybersecurity
Education

Lead

Howard Shrobe

Howard Shrobe

Brewer-headshot
Randall Davis
Kagal-headshot
+6
 
Howard Shrobe

Howard Shrobe

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

45 Project Results matching all criteria

Project

Aspect-Augmented Adversarial Networks for Domain Adaptation

Natural Language Processing Group
Vertical AI Community of Research
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

Regina Barzilay

Tommi Jaakkola

Tommi Jaakkola

Leads

Regina Barzilay

Regina Barzilay

Tommi Jaakkola

Tommi Jaakkola

Research Areas

Algorithms & Theory
Computing & Health
Systems & Networking
 
Regina Barzilay

Regina Barzilay

Tommi Jaakkola

Tommi Jaakkola

Project

Solid: Social Linked Data

Decentralized Information Group
Cognitive AI Community of Research
Computing & Society Community of Research
Solid aims to radically change the way Web applications work today, resulting in true data ownership as well as improved privacy.
Berners-Lee

Tim Berners-Lee

Kagal-headshot

Lalana Kagal

Leads

Berners-Lee

Tim Berners-Lee

Kagal-headshot

Lalana Kagal

Research Areas

Programming Languages & Software Engineering
Systems & Networking

Impact Areas

Cybersecurity
Health Care
Internet of Things
 
Berners-Lee

Tim Berners-Lee

Kagal-headshot

Lalana Kagal

Project

Reconstructing Neural Circuits from Mammalian Brain

Computational Connectomics Group
Theory of Computation Community of Research
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

shavit-headshot

Nir Shavit

Leads

Yaron Meirovitch

shavit-headshot

Nir Shavit

Research Areas

Algorithms & Theory
Computational Biology
Systems & Networking

Impact Areas

Health Care
 

Yaron Meirovitch

shavit-headshot

Nir Shavit

Project

Denial of Service Mitigation through Protocol Design

Advanced Network Architecture Group
Computing & Society Community of Research
We aim to better understand the features of network protocols that facilitate denial of service attacks, in order to design more robust protocols and architectures in the future and evaluate existing designs more accurately.
Karen Sollins

Karen Sollins

Leads

Karen Sollins

Karen Sollins

Research Areas

Security & Cryptography
Systems & Networking

Impact Areas

Cybersecurity
 
Karen Sollins

Karen Sollins

Project

Pervasive Parallelism with the Swarm Architecture

Computation Structures Group
Systems Community of Research
Vertical AI Community of Research
Our research aims to scale hard-to-parallelize applications through new programming models and multicore architectures. Our goal is to enable
programmers to write efficient and scalable parallel programs as easily as they
write sequential programs today.
Emer-headshot
sanchez-headshot

Daniel Sanchez

Photo of Victor Ying

Victor Ying

Leads

sanchez-headshot

Daniel Sanchez

Photo of Victor Ying

Victor Ying

Research Areas

Computer Architecture
Programming Languages & Software Engineering
Systems & Networking
Emer-headshot
 
sanchez-headshot

Daniel Sanchez

Photo of Victor Ying

Victor Ying

43 People Results matching all criteria

Chlipala-headshot

PI
Core/Dual

Adam Chlipala

Associate Professor
Programming languages, formal methods, security & privacy, systems
Chlipala-headshot
T 324-8439
RM 32-G842

Lead

Kami: A Modular Deductive Hardware Verification Platform
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
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.
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
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

5 News Results matching all criteria

Left to right: PhD student Fadel Adib, PhD student Mingmin Zhao, and Professor Dina Katabi pose with their EQ-Radio device, which can detect emotion using wireless signals.
Systems & Networking Wireless

Detecting emotions with wireless signals

As many a relationship book can tell you, understanding someone else’s emotions can be a difficult task. Facial expressions aren’t always reliable: a smile can conceal frustration, while a poker face might mask a winning hand.But what if technology could tell us how someone is really feeling?Researchers from MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL) have developed “EQ-Radio,” a device that can detect a person’s emotions using wireless signals.

Detecting emotions with wireless signals

20 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.
+3
Clark

David Clark

Karen Sollins

Karen Sollins

Leads

Clark

David Clark

Karen Sollins

Karen Sollins

Research Areas

Security & Cryptography
Systems & Networking

Impact Areas

Wireless

Lead

Clark

David Clark

Karen Sollins

Karen Sollins

+3
 
Clark

David Clark

Karen Sollins

Karen Sollins

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.
Brewer-headshot
Randall Davis
Kagal-headshot
+6
Howard Shrobe

Howard Shrobe

Leads

Howard Shrobe

Howard Shrobe

Research Areas

Human-Computer Interaction
Robotics
Security & Cryptography
Systems & Networking

Impact Areas

Cybersecurity
Education

Lead

Howard Shrobe

Howard Shrobe

Brewer-headshot
Randall Davis
Kagal-headshot
+6
 
Howard Shrobe

Howard Shrobe

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

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

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

45 Project Results

Project

An Interlock for Self Driving Cars

Software Design Group
Computer-Aided Programming
Vertical AI Community of Research
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.
Jackson image

Daniel Jackson

Solar-Lezama

Armando Solar-Lezama

Leads

Jackson image

Daniel Jackson

Solar-Lezama

Armando Solar-Lezama

Research Areas

Computing & Health
Human-Computer Interaction
Programming Languages & Software Engineering
Robotics
Systems & Networking

Impact Areas

Transportation
 
Jackson image

Daniel Jackson

Solar-Lezama

Armando Solar-Lezama

Project

Aspect-Augmented Adversarial Networks for Domain Adaptation

Natural Language Processing Group
Vertical AI Community of Research
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

Regina Barzilay

Tommi Jaakkola

Tommi Jaakkola

Leads

Regina Barzilay

Regina Barzilay

Tommi Jaakkola

Tommi Jaakkola

Research Areas

Algorithms & Theory
Computing & Health
Systems & Networking
 
Regina Barzilay

Regina Barzilay

Tommi Jaakkola

Tommi Jaakkola

Project

Denial of Service Mitigation through Protocol Design

Advanced Network Architecture Group
Computing & Society Community of Research
We aim to better understand the features of network protocols that facilitate denial of service attacks, in order to design more robust protocols and architectures in the future and evaluate existing designs more accurately.
Karen Sollins

Karen Sollins

Leads

Karen Sollins

Karen Sollins

Research Areas

Security & Cryptography
Systems & Networking

Impact Areas

Cybersecurity
 
Karen Sollins

Karen Sollins

43 People Results

Chlipala-headshot

PI
Core/Dual

Adam Chlipala

Associate Professor
Programming languages, formal methods, security & privacy, systems
Chlipala-headshot
T 324-8439
RM 32-G842

Lead

Kami: A Modular Deductive Hardware Verification Platform
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
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.
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
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

5 News Results

Left to right: PhD student Fadel Adib, PhD student Mingmin Zhao, and Professor Dina Katabi pose with their EQ-Radio device, which can detect emotion using wireless signals.
Systems & Networking Wireless

Detecting emotions with wireless signals

As many a relationship book can tell you, understanding someone else’s emotions can be a difficult task. Facial expressions aren’t always reliable: a smile can conceal frustration, while a poker face might mask a winning hand.But what if technology could tell us how someone is really feeling?Researchers from MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL) have developed “EQ-Radio,” a device that can detect a person’s emotions using wireless signals.

Detecting emotions with wireless signals