Research

  • Research Areas
  • Impact Areas

Algorithms & Theory

Foundational work that includes complexity, parallel computing and game theory

AI & Machine Learning

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

32 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.
+4
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

+4
 
Clark

David Clark

Karen Sollins

Karen Sollins

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

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

Micali

Silvio Micali

Rivest

Ronald Rivest

vaikuntanathan-headshot

Vinod Vaikuntanathan

Lampson

Butler Lampson

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

Leads

Weitzner

Daniel Weitzner

Abelson

Hal Abelson

Clark

David Clark

Kagal-headshot

Lalana Kagal

Karen Sollins

Karen Sollins

Gerald Sussman

Gerald Sussman

Research Areas

AI & Machine Learning
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

+3

98 Project Results

Project

Alloy

Software Design Group
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. Now one of the main challenges is to make the system more usable and understandable for the user.
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

An Interlock for Self Driving Cars

Software Design Group
Computer-Aided Programming
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

AI & Machine Learning
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
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
Tommi Jaakkola
Regina Barzilay

Regina Barzilay

Tommi Jaakkola

Tommi Jaakkola

Leads

Regina Barzilay

Regina Barzilay

Tommi Jaakkola

Tommi Jaakkola

Research Areas

Algorithms & Theory
AI & Machine Learning
Systems & Networking
Regina Barzilay
Tommi Jaakkola
 
Regina Barzilay

Regina Barzilay

Tommi Jaakkola

Tommi Jaakkola

Project

Automated Attack Tree Generation for Critical Infrastructure

Model-Based Embedded and Robotics Systems Group
Using AI methods, we are developing an attack tree generator that automatically enumerates cyberattack vectors for industrial control systems in critical infrastructure (electric grids, water networks and transportation systems). The generator can quickly assess cyber risk for a system at scale.
Howard Shrobe

Howard Shrobe

Leads

Howard Shrobe

Howard Shrobe

Research Areas

Security & Cryptography

Impact Areas

Cybersecurity
 
Howard Shrobe

Howard Shrobe

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

Aspect-Augmented Adversarial Networks for Domain Adaptation
Learning Optimal Interventions
Machine learning, natural language processing, genomics

79 News Results