Research

Impact Areas

Lead

Una-May O'Reilly

Research Group

Center for Brains, Minds and Machines

Our main goal is developing a computationally based understanding of human intelligence and establishing an engineering practice based on that understanding.

Tomaso Poggio

Leads

Tomaso Poggio

Research Areas

Impact Areas

Lead

Tomaso Poggio

Research Group

Clinical Decision-Making Group

We focus on furthering the application of technology and artificial intelligence in medicine and health-care.

+10

Peter Szolovits

Leads

Peter Szolovits

Research Areas

Impact Areas

Lead

Peter Szolovits

+10

Peter Szolovits

Research Group

Clinical Machine Learning Group

Our group is interested in using machine learning and artificial intelligence to transform health care.

David Sontag

Leads

David Sontag

Research Areas

Impact Areas

Lead

David Sontag

Research Group

Computational Biology Group

We seek to understand the mechanistic basis of human disease, using a combination of computational and experimental techniques.

Manolis Kellis

Leads

Manolis Kellis

Research Areas

Impact Areas

Lead

Manolis Kellis

Research Group

Computational Cognitive Science Group

We study the computational basis of human learning and inference.

Joshua Tenenbaum

Leads

Joshua Tenenbaum

Research Areas

Impact Areas

Lead

Joshua Tenenbaum

Research Group

Computational Fabrication Group

Our research centers on digital manufacturing, 3D printing and computer graphics, as well as computational photography and displays, and virtual humans and robotics.

Wojciech Matusik

Leads

Wojciech Matusik

Research Areas

Impact Areas

Lead

Wojciech Matusik

Research Group

Computational Genomics Group

We develop new machine learning techniques and algorithms to model the transcriptional regulatory networks that control gene expression programs in living cells.

Dave Gifford

Leads

Dave Gifford

Research Areas

Impact Areas

Lead

Dave Gifford

Research Group

Computational Perception & Cognition

We combine methods from computer science, neuroscience and cognitive science to explain and model how perception and cognition are realized in human and machine.

Aude Oliva

Leads

Aude Oliva

Research Areas

Impact Areas

Lead

Aude Oliva

Research Group

Computer Graphics Group

Our group focuses on synthetic image generation, computational photography, digital manufacturing, and geometry.

Leads

Fredo Durand

William Freeman

Wojciech Matusik

Justin Solomon

Research Areas

Impact Areas

Lead

Fredo Durand

William Freeman

Wojciech Matusik

Justin Solomon

Research Group

Data-Driven Inference Group

We use machine learning and computer vision to improve outcomes in medicine, finance, and sports

John Guttag

Leads

John Guttag

Research Areas

Impact Areas

Lead

John Guttag

Research Group

Decentralized Information Group

We are investigating decentralized technologies that affect social change.

Lalana Kagal

Tim Berners-Lee

Leads

Lalana Kagal

Tim Berners-Lee

Research Areas

Impact Areas

Lead

Lalana Kagal

Tim Berners-Lee

Lalana Kagal

Tim Berners-Lee

Research Group

Distributed Robotics Laboratory

We aim to develop the science of autonomy toward a future with robots and AI systems integrated into everyday life, supporting people with cognitive and physical tasks.

+15

Daniela Rus

Leads

Daniela Rus

Research Areas

Impact Areas

Lead

Daniela Rus

+15

Daniela Rus

Research Group

Genesis Group

The Genesis Group focuses on developing an account of human intelligence with special
emphasis on developing computational models of how people tell, perceive and understand
stories.

Leads

Research Areas

Impact Areas

Research Group

Haystack Group

We are an interdisciplinary group of researchers blending approaches from human-computer interaction, social computing, databases, information management, and databases.

Lea Verou

David Karger

Leads

David Karger

Research Areas

Impact Areas

Internet of Things

Lead

David Karger

Lea Verou

David Karger

Research Group

HCI Engineering Group

We work at the intersection of human computer interaction and personal fabrication tools.

Stefanie Mueller

Leads

Stefanie Mueller

Research Areas

Impact Areas

Lead

Stefanie Mueller

Research Group

Randall Davis

Fredo Durand

Daniel Jackson

David Karger

Rob Miller

Stefanie Mueller

Research Areas

Lead

Randall Davis

Fredo Durand

Daniel Jackson

David Karger

Rob Miller

Stefanie Mueller

Research Group

Imagination, Computation, and Expression Laboratory (ICE Lab)

We develop computing systems for creative expression, cultural analysis, and social change.

Peter Mawhorter

James Bowie Wilson

D. Fox Harrell

Leads

D. Fox Harrell

Research Areas

Impact Areas

Lead

D. Fox Harrell

Peter Mawhorter

James Bowie Wilson

D. Fox Harrell

Research Group

Interactive Robotics Group

The Interactive Robotics Group aims to imagine the future of work by designing collaborative robot teammates that enhance human capability.

Julie Shah

Leads

Julie Shah

Research Areas

Impact Areas

Lead

Julie Shah

Research Group

Infolab

We investigate language in different contexts: from how it is learned, to how it is grounded in visual perception, all the way to how machines can readily interact with humans.

Boris Katz

Leads

Boris Katz

Research Areas

Impact Areas

Lead

Boris Katz

Research Group

Learning and Intelligent Systems

We conduct interdisciplinary research aimed at discovering the principles underlying the design of artificially intelligent robots.

Leslie Kaelbling

Tomas Lozano-Perez

Leads

Leslie Kaelbling

Tomas Lozano-Perez

Research Areas

Impact Areas

Lead

Leslie Kaelbling

Tomas Lozano-Perez

Leslie Kaelbling

Tomas Lozano-Perez

Research Group

Machine Learning

We work on a variety of topics spanning theoretical foundations, algorithms, and applications.

Leads

Tamara Broderick

Tommi Jaakkola

Stefanie Jegelka

Leslie Kaelbling

David Sontag

Research Areas

Impact Areas

Lead

Tamara Broderick

Tommi Jaakkola

Stefanie Jegelka

Leslie Kaelbling

David Sontag

Research Group

Marine Robotics Group

Our projects are centered around the problems of navigation and mapping for autonomous mobile robots operating in underwater and terrestrial environments.

John Leonard

Leads

John Leonard

Research Areas

Impact Areas

Energy

Lead

John Leonard

Research Group

Medical Vision Group

We develop new algorithms for medical image analysis and visualization of medical imagery.

+10

Polina Golland

Leads

Polina Golland

Research Areas

Impact Areas

Lead

Polina Golland

+10

Polina Golland

298 Project Results matching all criteria

Project

Driver-Friendly Bilateral Control for Suppressing Traffic Instabilities

We are studying how best to implement bilateral control and make it acceptable to drivers

Berthold Horn

Leads

Berthold Horn

Research Areas

Impact Areas

Berthold Horn

Project

Computational Bounce Flash for Indoor Portraits

Computer Graphics Group

To achieve high-quality photo lighting in challenging environments, our prototype camera dynamically reconstructs a 3D scene model and directs a motor-controlled flash head at nearby walls and ceilings for soft indirect illumination.

Lukas Murmann

Leads

Lukas Murmann

Research Areas

Impact Areas

Lukas Murmann

Project

Predictive Vision

We've developed an algorithm to anticipate visual events that may happen in the future

Leads

Research Areas

Computational Cognitive Science Group

Project

Neural Physics Engine

Spoken Language Systems Group

We've developed an object-based neural network architecture for learning predictive models of intuitive physics that extrapolates to variable object count and variable scene configurations with only spatially and temporally local computation.

Leads

Project

Using Computers to Eat Healthier

Our goal is to build an AI-powered personal digital nutritionist that enables users to track the food they eat simply by speaking or typing natural English phrases.

Leads

Research Areas

Impact Areas

Model-Based Embedded and Robotics Systems Group

Project

RADMAX

This project focuses on holistic decision making for network optimization.

Brian Williams

Howard Shrobe

Leads

Brian Williams

Howard Shrobe

Research Areas

Computational Cognitive Science Group

Brian Williams

Howard Shrobe

Project

A Counterfactual Simulation Model of Causal Judgment

We develop a computational model that explains how people make causal judgments in physical scenes by mentally simulating counterfactual outcomes and comparing those to what actually happened.

Leads

Research Areas

Impact Areas

Project

Artificial Co-driver

Computer Graphics Group

By observing driver in real road situations, we learn a computer assistant that can make driving easier, safer and more enjoyable.

Leads

Research Areas

Impact Areas

Natural Language Processing Group

Project

Aspect-Augmented Adversarial Networks for Domain Adaptation

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

Tommi Jaakkola

Leads

Regina Barzilay

Tommi Jaakkola

Research Areas

Regina Barzilay

Tommi Jaakkola

Project

SoundNet

This project focuses on learning sound representations from unlabeled video

Leads

Research Areas

Project

Where Are They Looking?

Our goal is to build a system that predicts where people are looking in images. Given an image and the location of a head, our approach follows the gaze of the person and identifies the object being looked at.

Leads

Research Areas

Impact Areas

Project

Predictive Modeling for Database Elasticity

This project shows that we can successfully use predictive modeling to enable a database cluster to elastically expand or contract in anticipation of changes in the workload.

Michael Stonebraker

Leads

Michael Stonebraker

Research Areas

Michael Stonebraker

Project

Covering All K-mers Using Joker Characters

Computation and Biology

We developed a new algorithm to generate compact sequence sets covering all k-mers using joker characters.

Bonnie Berger

Leads

Bonnie Berger

Research Areas

Model-Based Embedded and Robotics Systems Group

Bonnie Berger

Project

Finite Approximations of Infinite Models

Machine Learning

Many modern Bayesian models involve infinitely many latent parameters. We seek to develop finite approximations which are more tractable for use in practice, and characterize their incurred error.

Leads

Project

Tractable Models of Sparse Networks

Machine Learning

Most popular, tractable statistical models for network data inherently assume the network is dense, although this is rarely true in practice; we propose a new modeling framework that correctly captures sparse networks.

Leads

Project

Geordi: A Driver's Assistant for Risk-bounded Maneuvering

Our goal is to create an online risk-aware planner for vehicle maneuvers that can make driving safer and less stressful through a “parallel” autonomous system that assists the driver by watching for risky situations, and by helping the driver take proactive, compensating actions before they become crises.

Brian Williams

Leads

Brian Williams

Research Areas

Impact Areas

Parallel and Distributed Operating Systems

Brian Williams

Project

Noria: a new data-flow system for web applications

We're developing a flexible, high-performance storage architecture for database-backed applications, based on a dynamic set of queries specified by the developer which Soup automatically optimizes.

Jon Gjengset

Malte Schwarzkopf

Leads

Jon Gjengset

Malte Schwarzkopf

Research Areas

Impact Areas

Jon Gjengset

Malte Schwarzkopf

Project

Single-Image 3D Interpreter Network

We aim to understand 3D object structure from a single image. We propose an end-to-end framework which sequentially estimates 2D keypoint heatmaps and 3D object structure, by training it on both real 2D-annotated images and synthetic 3D data and by integrating a 3D-to-2D projection layer.

Leads

Research Areas

Impact Areas

Distributed Robotics Laboratory

Project

Printable Hydraulics

Printable Hydraulics allows fluid-actuated robots to be automatically fabricated using 3D printers.

Youbin Kim

Leads

Research Areas

Impact Areas

Energy

Youbin Kim

Project

Matrix Permanents and Linear Optics

Complexity Theory Group

We use tools from quantum physics to prove new results in classical complexity.

Leads

Research Areas

Project

Visual Dynamics: Probabilistic Future Frame Synthesis via Cross Convolutional Networks

In our work we developed a model that is able to synthesize many probable future frames with just a single image as input.

Leads

Research Areas

Decentralized Information Group

Project

Solid: Social Linked Data

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.

Tim Berners-Lee

Lalana Kagal

Leads

Tim Berners-Lee

Lalana Kagal

Research Areas

Impact Areas

Internet of Things

Tim Berners-Lee

Lalana Kagal

Project

AdaptDB: Adaptive Partitioning for Distributed Joins

Our goal is to develop an adaptive storage manager for analytical database workloads in a distributed setting. It works by partitioning datasets across a cluster and incrementally refining data partitioning as queries are run.

Yi Lu

Leads

Yi Lu

Research Areas

Impact Areas

Yi Lu

Project

Wikum: Bridging Discussion Systems and Wikis with Collective Summarization

Haystack Group

We build tools to allow a community of people to collectively summarize large discussions online and manage knowledge embedded within these discussions.

David Karger

Leads

David Karger

Research Areas

Impact Areas

Tactile and Physical Perception

David Karger

39 People Results matching all criteria

Victor Amblard

Visiting Student

E vamblard@mit.edu

Venkat Arun

Graduate Student

Congestion control, applied cryptography

E venkatar@MIT.EDU

Congestion control, applied cryptography

Manel Baradad

Graduate Student

E mbaradad@mit.edu

Thomas Bourgeat

Graduate Student

E bthom@csail.mit.edu

Ted Chang

Visiting Scientist

E ted@csail.mit.edu

T 253-0201

Lijie Chen

Graduate Student

E lijieche@MIT.EDU

Richard Chen

Visiting Student

E chenrj@mit.edu

Mustafa Doga Dogan

Graduate Student

E doga@mit.edu

Member

HCI Engineering Group

Mathieu Fehr

Visiting Student

E mfehr@mit.edu

Bernat Felip

Visiting Student

E felipb@mit.edu

Amar Gupta

Temporary Visiting Professor

E agupta@MIT.EDU

T 253-0418

Yihang Hu

Visiting Student

E yihang99@mit.edu

Mirai Ikebuchi

Graduate Student

E ikebuchi@mit.edu

Gregory Izatt

Graduate Student

E gregory.izatt@gmail.com

Lead

Member

Tactile and Physical Perception

Robot Locomotion Group

Walther Jensen

Visiting Student

E waltherj@mit.edu

Majid Khonji

Research Affiliate

E khonji@csail.mit.edu

Georg Langs

Research Affiliate

E langs@CSAIL.MIT.EDU

Member

Medical Vision Group

Guillaume Leclerc

Graduate Student

E leclerc@mit.edu

Member

Reliable and Robust Machine Learning

Tianhong Li

Graduate Student

E TIANHONG@csail.mit.edu

Xin Lyu

Visiting Student

E xlyu@mit.edu

RM 32-G585A

Karima Ma

Visiting Student

E karima_ma@berkeley.edu

Jamie Macbeth

Research Affiliate

In-Depth Natural Language Understanding, Human-Computer Interaction

E jmacbeth@mit.edu

In-Depth Natural Language Understanding, Human-Computer Interaction

Hongzi Mao

Graduate Student

E hongzi@mit.edu

Lead

Neural Adaptive Bitrate Streaming using Reinforcement Learning

Member

Networks and Mobile Systems

Tobia Marcucci

Graduate Student

E tobiam@csail.mit.edu

1557 News Results matching all criteria

June 09 '20

Hot Topics in Computing: A Multi-Risk SIR Model with Optimally Targeted Lockdown

On June 9, 2020 Prof Daron Acemoglu presented a talk in the Hot Topics in Computing series entitled: A Multi-Risk SIR Model with Optimally Targeted Lockdown

Hot Topics in Computing: A Multi-Risk SIR Model with Optimally Targeted Lockdown

June 04 '20

Science paper: if transistors can’t get smaller, then software developers have to get smarter

MIT CSAIL study: to continue to improve computing technology, the secret is more efficient software, new algorithms, and streamlined hardware

Science paper: if transistors can’t get smaller, then software developers have to get smarter

Algorithms & Theory Robotics

June 02 '20

New glove lets you incorporate real-life objects into virtual worlds

Algorithms & Theory Robotics Manufacturing

June 01 '20

Giving soft robots senses

In a pair of papers from MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL), two teams enable better sense and perception for soft robotic grippers.

Giving soft robots senses

May 19 '20

Hot Topics in Computing: contact tracing activities at MIT

On Tuesday, May 19 a panel discussion among Prof.'s Ron Rivest, Ramesh Raskar, Julie Shah and Daniel Weitzner was held on the topic of contact tracing at MIT, moderated by Daniela Rus.

Hot Topics in Computing: contact tracing activities at MIT

May 18 '20

Searching websites the way you want

New tool lets non-coders use APIs to navigate sites like Etsy and Yelp

Searching websites the way you want

May 14 '20

Working towards smarter automation for fixing code

Yogo makes it much easier to make systematic changes in code - and can do so in multiple programming languages.

Working towards smarter automation for fixing code

Brad Smith, president of Microsoft Corporation

May 14 '20

Hot Topics in Computing: Conversation with Microsoft President Brad Smith

On May 14, 2020 Daniela Rus and Daniel Huttenlocher hosted a fireside chat with Brad Smith, President of Microsoft Corporation.

Hot Topics in Computing: Conversation with Microsoft President Brad Smith

Computing & Health Health Care

May 13 '20

What can your dishwasher tell you about your health?

CSAIL system uses wireless signals to measure in-home appliance usage to better understand health tendencies.

What can your dishwasher tell you about your health?

Algorithms & Theory Programming Languages & Software Engineering

May 06 '20

Visualizing the world beyond the frame

Researchers test how far artificial intelligence models can go in dreaming up varied poses and colors of objects and animals in photos.

Visualizing the world beyond the frame

May 05 '20

Hot Topics in Computing: Targeted Risk Analytics to Fight the COVID-19 Outbreak

On May 5, 2020, Prof. Retsef Levi gave a Hot Topics in Computing presentation entitled 'Targeted Risk Analytics to Fight the COVID-19 Outbreak'.

Hot Topics in Computing: Targeted Risk Analytics to Fight the COVID-19 Outbreak

April 30 '20

VIDEO: The status of artificial adversarial intelligence

Algorithms & Theory

April 28 '20

Automating the search for entirely new “curiosity” algorithms

Researchers show that computers can “write” algorithms that adapt to radically different environments better than algorithms designed by humans.

Automating the search for entirely new “curiosity” algorithms

April 28 '20

Bonnie Berger elected to NAS

MIT professor Bonnie Berger has been elected to the National Academy of Sciences.

Bonnie Berger elected to NAS

Robotics Health Care Manufacturing

April 27 '20

Muscle signals can pilot a robot

CSAIL system uses muscle signals to cue a drone’s movement, enabling more natural human-robot communication

Muscle signals can pilot a robot

Health Care

April 26 '20

Reporting tool aims to balance hospitals’ Covid-19 load

Based on crowdsourced data, app helps patients, EMTs, and physicians determine real-time availability of hospital resources.

Reporting tool aims to balance hospitals’ Covid-19 load

April 23 '20

Two CSAIL researchers elected to AAAS

This week the American Academy of Arts and Sciences (AAAS) announced that MIT professors Ronitt Rubinfeld and Joshua Tenenbaum were among their new 2020 members.

Two CSAIL researchers elected to AAAS

Human-Computer Interaction

April 20 '20

Satyanarayan selected for NSF career award

This week it was announced that MIT assistant professor Arvind Satyanarayan has been awarded the distinguished NSF career award for his project “Effective Interaction Design for Data Visualization.”

Satyanarayan selected for NSF career award

April 17 '20

A weekly roundup of COVID-Computer science efforts

It can be hard to keep track of all the numbers, statistics, and charts swirling around the internet -- we’re inundated with information that can be rapidly disseminated and dissected. To carve through some of the sludge, here’s a selected highlight of recent computer science related efforts to fight COVID-19.

A weekly roundup of COVID-Computer science efforts

Human-Computer Interaction Energy Manufacturing

April 17 '20

Mueller named 2020 Microsoft Research Faculty Fellow

Health Care

April 15 '20

MIT-based team works on rapid deployment of open-source, low-cost ventilator

Clinical and design considerations will be published online; goal is to support rapid scale-up of device production to alleviate hospital shortages.

MIT-based team works on rapid deployment of open-source, low-cost ventilator

Algorithms & Theory Computing & Health Health Care Wireless

April 14 '20

CSAIL device lets doctors monitor COVID-19 patients from a distance

Wireless system helps Boston retirement home care for COVID patients while reducing risk of contagion

CSAIL device lets doctors monitor COVID-19 patients from a distance

April 14 '20

Hot Topics in Computing: Using Computing to Address the Social Impacts of COVID19

On April 14, 2020, Prof. Julie Shah presented a Hot Topics in Computing virtual seminar entitled: Using Computing to Address the Social Impacts of COVID19.

Hot Topics in Computing: Using Computing to Address the Social Impacts of COVID19

Computing & Health Security & Cryptography Systems & Networking Health Care

April 09 '20

Automated Covid-19 contact tracing - while preserving privacy

New system uses Bluetooth signals from your smartphone, with the goal of automating Covid-19 contact tracing while preserving privacy

Automated Covid-19 contact tracing - while preserving privacy

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

David Clark

Karen Sollins

Leads

David Clark

Karen Sollins

Research Areas

Impact Areas

Lead

David Clark

Karen Sollins

David Clark

Karen Sollins

Research Group

Algorithms Group

We devise new mathematical tools to tackle the increasing difficulty and importance of problems we pose to computers.

Leads

Costis Daskalakis

Erik Demaine

Michael Goemans

Piotr Indyk

David Karger

Jonathan Kelner

Tom Leighton

Charles E. Leiserson

Aleksander Madry

Ankur Moitra

Ronitt Rubinfeld

Nir Shavit

Ryan Williams

Virginia Vassilevska Williams

Research Areas

Impact Areas

Lead

Costis Daskalakis

Erik Demaine

Michael Goemans

Piotr Indyk

David Karger

Jonathan Kelner

Tom Leighton

Charles E. Leiserson

Aleksander Madry

Ankur Moitra

Ronitt Rubinfeld

Nir Shavit

Ryan Williams

Virginia Vassilevska Williams

Research Group

Anyscale Learning for All ALFA

Our vision is data-driven machine learning systems that advance the quality of healthcare, the understanding of cyber arms races and the delivery of online education.

Una-May O'Reilly

Leads

Una-May O'Reilly

Research Areas

Impact Areas

Lead

Una-May O'Reilly

Research Group

Applied Computing Group

We design software for high performance computing, develop algorithms for numerical linear algebra, and research random matrix theory and its applications.

Alan Edelman

Leads

Alan Edelman

Research Areas

Impact Areas

Lead

Alan Edelman

Community of Research

Applied Machine Learning Community of Research

This CoR brings together researchers at CSAIL working across a broad swath of application domains. Within these lie novel and challenging machine learning problems serving science, social science and computer science.

Una-May O'Reilly

Leads

Una-May O'Reilly

Research Areas

Impact Areas

Lead

Una-May O'Reilly

Research Group

Broderick Lab

We work in the areas of statistics and machine learning.

Tamara Broderick

Leads

Tamara Broderick

Research Areas

Impact Areas

Lead

Tamara Broderick

Research Group

Center for Brains, Minds and Machines

Our main goal is developing a computationally based understanding of human intelligence and establishing an engineering practice based on that understanding.

Tomaso Poggio

Leads

Tomaso Poggio

Research Areas

Impact Areas

Lead

Tomaso Poggio

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.

Aleksander Madry

Leads

Aleksander Madry

Research Areas

Impact Areas

Lead

Aleksander Madry

Research Group

Clinical Decision-Making Group

We focus on furthering the application of technology and artificial intelligence in medicine and health-care.

+10

Peter Szolovits

Leads

Peter Szolovits

Research Areas

Impact Areas

Lead

Peter Szolovits

+10

Peter Szolovits

Research Group

Clinical Machine Learning Group

Our group is interested in using machine learning and artificial intelligence to transform health care.

David Sontag

Leads

David Sontag

Research Areas

Impact Areas

Lead

David Sontag

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.

Howard Shrobe

Leads

Howard Shrobe

Research Areas

Impact Areas

Lead

Howard Shrobe

Research Group

Commit Group

We focus on finding novel approaches to improve the performance of modern computer systems without unduly increasing the complexity faced by application developers, compiler writers, or computer architects.

Saman Amarasinghe

Leads

Saman Amarasinghe

Research Areas

Computer Architecture

Impact Areas

Lead

Saman Amarasinghe

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

Shafi Goldwasser

Ronitt Rubinfeld

Michael Sipser

Ryan Williams

Virginia Vassilevska Williams

Research Areas

Impact Areas

Lead

Shafi Goldwasser

Ronitt Rubinfeld

Michael Sipser

Ryan Williams

Virginia Vassilevska Williams

Research Group

Computation and Biology

Our lab focuses on designing algorithms to gain biological insights from advances in automated data collection and the subsequent large data sets drawn from them.

Bonnie Berger

Leads

Bonnie Berger

Research Areas

Impact Areas

Lead

Bonnie Berger

Research Group

Computation Structures Group

Our mission is fostering the creation and development of high-performance, reliable and secure computing systems that are easy to interact with.

+23

Leads

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

Research Areas

Computer Architecture

Impact Areas

Lead

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

+23

Research Group

Computational Biology Group

We seek to understand the mechanistic basis of human disease, using a combination of computational and experimental techniques.

Manolis Kellis

Leads

Manolis Kellis

Research Areas

Impact Areas

Lead

Manolis Kellis

Research Group

Computational Cognitive Science Group

We study the computational basis of human learning and inference.

Joshua Tenenbaum

Leads

Joshua Tenenbaum

Research Areas

Impact Areas

Lead

Joshua Tenenbaum

Research Group

Computational Connectomics Group

Our group’s goal is to create, based on such microscopic connectivity and functional data, new mathematical models explaining how neural tissue computes.

Nir Shavit

Leads

Nir Shavit

Research Areas

Impact Areas

Lead

Nir Shavit

Research Group

Computational Fabrication Group

Our research centers on digital manufacturing, 3D printing and computer graphics, as well as computational photography and displays, and virtual humans and robotics.

Wojciech Matusik

Leads

Wojciech Matusik

Research Areas

Impact Areas

Lead

Wojciech Matusik

Research Group

Computational Genomics Group

We develop new machine learning techniques and algorithms to model the transcriptional regulatory networks that control gene expression programs in living cells.

Dave Gifford

Leads

Dave Gifford

Research Areas

Impact Areas

Lead

Dave Gifford

Research Group

Computational Perception & Cognition

We combine methods from computer science, neuroscience and cognitive science to explain and model how perception and cognition are realized in human and machine.

Aude Oliva

Leads

Aude Oliva

Research Areas

Impact Areas

Lead

Aude Oliva

Research Group

Computer Graphics Group

Our group focuses on synthetic image generation, computational photography, digital manufacturing, and geometry.

Leads

Fredo Durand

William Freeman

Wojciech Matusik

Justin Solomon

Research Areas

Impact Areas

Lead

Fredo Durand

William Freeman

Wojciech Matusik

Justin Solomon

Research Group

Computer-Aided Programming

We develop techniques and tools that exploit automated reasoning and large amounts of computing power to tackle challenging programming problems

Armando Solar-Lezama

Leads

Armando Solar-Lezama

Research Areas

Impact Areas

Lead

Armando Solar-Lezama

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.

Daniel Weitzner

Leads

Daniel Weitzner

Research Areas

Impact Areas

Lead

Daniel Weitzner

298 Project Results

Project

3D Generative Adversarial Networks

We study the problem of 3D object generation. We propose a novel framework, 3D Generative Adversarial Network (3D-GAN), leveraging recent advances in volumetric convolutional networks and generative adversarial nets.

Leads

Research Areas

Impact Areas

Computational Fabrication Group

Project

3D-Printed Organic Solar Cells

Using our inkjet printer system, the goal of this project is to produce a light sensor / solar cell that is composed entirely of 3D printed materials.

James Minor

Leads

James Minor

Research Areas

Impact Areas

Computation Structures Group

James Minor

Project

[Inactive] T-1000: A Thousand-Core Coherent Shared Memory System

(This project is no longer active.) The T-1000, a prototype system of a thousand realistic processors embedded throughout an ensemble of interconnected FPGAs, seeks to demonstrate the scalability of timestamp-based cache coherence protocols on distributed shared memory systems.

Quan Nguyen

Leads

Quan Nguyen

Research Areas

Computer Architecture

Computational Cognitive Science Group

Quan Nguyen

Project

A Counterfactual Simulation Model of Causal Judgment

We develop a computational model that explains how people make causal judgments in physical scenes by mentally simulating counterfactual outcomes and comparing those to what actually happened.

Leads

Research Areas

Impact Areas

Computation Structures Group

Project

A new way of handling all-to-all broadcast

We design a new all-to-all broadcasts scheme with significantly less communication cost using aggregate signatures.

Alin Tomescu

Jun Wan

Leads

Jun Wan

Research Areas

Alin Tomescu

Jun Wan

Project

A Simplified and Extensible Cilk Runtime for Research

CilkS is a new runtime system for the Cilk multithreaded programming environment which makes it easy to experiment with new algorithms, data structures, and programming linguistics.

Charles E. Leiserson

Tao Schardl

Leads

Charles E. Leiserson

Tao Schardl

Research Areas

Learning and Intelligent Systems

Charles E. Leiserson

Tao Schardl

Project

Active Learning of Models for Planning

Machine Learning

We aim to develop a systematic framework for robots to build models of the world and to use these to make effective and safe choices of actions to take in complex scenarios.

Leads

Zi Wang

Leslie Kaelbling

Tomas Lozano-Perez

Research Areas

Impact Areas

Project

AdaptDB: Adaptive Partitioning for Distributed Joins

Yi Lu

Leads

Yi Lu

Research Areas

Impact Areas

Anyscale Learning for All ALFA

Yi Lu

Project

Adversarial Cyber Security

Applied Machine Learning Community of Research

Our goal is to understand the nature of cyber security arms races between malicious and bonafide parties. Our vision is autonomous cyber defenses that anticipate and take measures against counter attacks.

Una-May O'Reilly

Leads

Una-May O'Reilly

Research Areas

Impact Areas

Networks and Mobile Systems

Una-May O'Reilly

Project

Aggregate Congestion Control

Develop a method for sending persistently backlogged traffic on the Internet while adapting to link conditions dynamically.

Akshay Narayan

Francis Cangialosi

Leads

Akshay Narayan

Francis Cangialosi

Research Areas

Impact Areas

Imagination, Computation, and Expression Laboratory (ICE Lab)

Akshay Narayan

Francis Cangialosi

Project

AIRvatar System: A Framework for Analyzing Virtual Identities

AIRvatar is a system that telemetrically collects and analyzes fine-grained data on users’ virtual identities and the process used to create them.

D. Fox Harrell

Leads

D. Fox Harrell

Research Areas

Impact Areas

D. Fox Harrell

Project

Algebraic Techniques for Algorithm Design

We work on improving the algorithms for algebraic problems like matrix multiplication, and using these to design algorithms for fundamental non-algebraic problems.

Virginia Vassilevska Williams

Leads

Virginia Vassilevska Williams

Research Areas

Virginia Vassilevska Williams

Project

Algorithmic Aspects of Performance Engineering

Supertech Research Group

The project concerns algorithmic solutions for writing fast codes.

Leads

Research Areas

Impact Areas

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

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Impact Areas

Daniel Jackson

Project

Amoeba: A shape changing storage system for big data

Amoeba is a distributed storage system that efficiently supports ad-hoc and exploratory analytics using adaptive data partitioning

Alekh Jindal

Anil Shanbhag

Leads

Anil Shanbhag

Research Areas

Theory of Distributed Systems Group

Alekh Jindal

Anil Shanbhag

Project

An Algorithmic Theory of Brain Networks

We are developing an algorithmic theory for brain networks, based on simple synchronized stochastic graph-based neural network models.

Nancy Lynch

Leads

Nancy Lynch

Research Areas

Computer-Aided Programming

Nancy Lynch

Project

An Interlock for Self Driving Cars

Software Design Group

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

Daniel Jackson

Armando Solar-Lezama

Leads

Daniel Jackson

Armando Solar-Lezama

Research Areas

Impact Areas

Daniel Jackson

Armando Solar-Lezama

Project

Analyzing Player Profile Data

Developing new methods for analyzing large quantities of player profile data, such as hundreds of thousands of profile images or chat logs.

D. Fox Harrell

Peter Mawhorter

Leads

D. Fox Harrell

Peter Mawhorter

Research Areas

Interactive Robotics Group

D. Fox Harrell

Peter Mawhorter

Project

Apprenticeship Scheduling: Learning to Schedule From Human Experts

Robot scheduling via learning from demonstration for tasks in medicine and more

Leads

Research Areas

Impact Areas

Project

Approximate String Joins with Abbreviations

We propose efficient and effective algorithms to perform approximate string joins with abbreviations in database systems.

Wenbo Tao

Leads

Wenbo Tao

Research Areas

Wenbo Tao

Project

Approximating the diameter of a directed graph

There is a family of approximation algorithms for computing the diameter of an undirected graph that give a time/accuracy trade-off and our goal is to extend these results to directed graphs.

Virginia Vassilevska Williams

Leads

Virginia Vassilevska Williams

Research Areas