Research

Impact Areas

Lead

Aleksander Madry

1 News Results matching all criteria

Algorithms & Theory AI & ML Computational Biology Computer Architecture Graphics & Vision Human-Computer Interaction Programming Languages & Software Engineering Robotics Security & Cryptography Systems & Networking Cybersecurity Education Energy Entertainment Health Care Manufacturing Transportation Wireless

June 27 '19

CSAIL hosts first-ever TEDxMIT

Speakers — all women — discuss everything from gravitational waves to robot nurses

CSAIL hosts first-ever TEDxMIT

40 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

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

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

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.

+21

Leads

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

Research Areas

Computer Architecture

Impact Areas

Lead

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

+21

Research Group

Computational Design and 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

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

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

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

Shafi Goldwasser

Silvio Micali

Ronald Rivest

Vinod Vaikuntanathan

Butler Lampson

Research Areas

Impact Areas

Lead

Shafi Goldwasser

Silvio Micali

Ronald Rivest

Vinod Vaikuntanathan

Butler Lampson

Research Group

Data Systems Group

We conduct research on all areas of database systems and information management.

+15

Leads

Sam Madden

Michael Stonebraker

Tim Kraska

Research Areas

Impact Areas

Lead

Sam Madden

Michael Stonebraker

Tim Kraska

+15

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.

+13

Daniela Rus

Leads

Daniela Rus

Research Areas

Impact Areas

Lead

Daniela Rus

+13

Daniela Rus

Community of Research

Embodied Intelligence Community of Research

Our goal is to understand the nature of intelligent behavior in the physical world, through the study of human intelligence and the design and implementation of intelligent robots.

+12

Leslie Kaelbling

Leads

Leslie Kaelbling

Research Areas

Lead

Leslie Kaelbling

+12

Leslie Kaelbling

Research Group

Geometric Data Processing Group

Our group studies geometric problems in computer graphics, computer vision, machine learning, optimization, and other disciplines.

Justin Solomon

Leads

Justin Solomon

Research Areas

Impact Areas

Lead

Justin Solomon

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

Community of Research

Human-Computer Interaction Community of Research

The focus of the HCI CoR is inventing new systems and technology that lie at the interface between people and computation, and understanding their design, implementation, and societal impact.

Stefanie Mueller

Leads

Stefanie Mueller

Research Areas

Impact Areas

Lead

Stefanie Mueller

Research Group

Human-Computer Interaction

HCI faculty and researchers in CSAIL.

Leads

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

D. Fox Harrell

Leads

D. Fox Harrell

Research Areas

Impact Areas

Lead

D. Fox Harrell

Peter Mawhorter

D. Fox Harrell

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

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

Leads

Daniel Weitzner

Hal Abelson

David Clark

Lalana Kagal

Karen Sollins

Gerald Sussman

Research Areas

Impact Areas

Lead

Daniel Weitzner

Hal Abelson

David Clark

Lalana Kagal

Karen Sollins

Gerald Sussman

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

Lecturers

Lecturers in CSAIL

Leads

Research Areas

Impact Areas

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

151 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 Design and 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

Computational Cognitive Science Group

James Minor

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

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

Learning and Intelligent Systems

Alin Tomescu

Jun Wan

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.

Leslie Kaelbling

Tomas Lozano-Perez

Leads

Leslie Kaelbling

Tomas Lozano-Perez

Research Areas

Impact Areas

Anyscale Learning for All ALFA

Leslie Kaelbling

Tomas Lozano-Perez

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

Imagination, Computation, and Expression Laboratory (ICE Lab)

Una-May O'Reilly

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

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

Computer-Aided Programming

Impact Areas

Daniel Jackson

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

Spoken Language Systems Group

Project

Arabic Language Processing

The Arabic language is spoken by over one billion people around the world. Arabic presents a variety of challenges for speech and language processing technologies. In our group, we have several research topics examining Arabic, including dialect identification, speech recognition, machine translation, and language processing.

Mitra Mohtarami

Leads

Mitra Mohtarami

Research Areas

Mitra Mohtarami

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

Project

Artificial Social Intelligence for Successful Teams (ASIST)

Computational Cognitive Science Group

Model-Based Embedded and Robotics Systems Group

Our goal is to develop a socially intelligent team coacher agent that helps humans communicate, strategize, and work together efficiently.

Leads

Howard Shrobe

Brian Williams

Boris Katz

Zhutian Yang

Research Areas

Computer Architecture

Impact Areas

Model-Based Embedded and Robotics Systems Group

Project

Automated Attack Tree Generation for Critical Infrastructure

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

Leads

Howard Shrobe

Research Areas

Impact Areas

Spoken Language Systems Group

Howard Shrobe

Project

Automatic Speech Recognition

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.

Sameer Khurana

Jim Glass

Leads

Sameer Khurana

Jim Glass

Research Areas

Cryptography and Information Security Group

Impact Areas

Sameer Khurana

Jim Glass

Project

Basing Cryptography on Structured Hardness

Theory of Computation Community of Research

We aim to base a variety of cryptographic primitives on complexity theoretic assumptions. We focus on the assumption that there exist highly structured problems --- admitting so called "zero-knowledge" protocols --- that are nevertheless hard to compute

Leads

Research Areas

Project

Blood Pressure Imager

Development of affordable wearable continuous blood pressure monitor based on radial arterial pulse imaged from the skin surface of human wrist

Mumin Jin

Aya G. Halawi

Jianhua Li

Leads

Abhijit Biswas

Ted Adelson

Mandayam A. Srinivasan

Mohan Thanikachalam

Research Areas

Computational Biology

Mumin Jin

Aya G. Halawi

Jianhua Li

Project

Brain-Controlled Robots

This project aims to let people correct robot mistakes with nothing more than their brain signals - to allow robots to adapt to humans rather than the other way around

Frank H. Guenther

Daniela Rus

Joseph DelPreto

Leads

Daniela Rus

Joseph DelPreto

Research Areas

Decentralized Information Group

Frank H. Guenther

Daniela Rus

Joseph DelPreto

Project

The Car Can Explain!

Computing & Society Community of Research

Developing techniques to allow self-driving cars and other AI-driven systems to explain behaviors and failures.

Gerald Sussman

Lalana Kagal

Leads

Gerald Sussman

Lalana Kagal

Research Areas

Impact Areas

Gerald Sussman

Lalana Kagal

Project

Cardiac MRI analysis

Medical Vision Group

We develop image analysis algorithms for whole-heart cardiac MRI in patients with severe congenital heart disease.

Polina Golland

Leads

Polina Golland

Research Areas

Impact Areas

Imagination, Computation, and Expression Laboratory (ICE Lab)

Polina Golland

Project

Changing Minds via Roleplay in Interactive Digital Media

We aim to study the impact of computer-supported roleplaying in changing social perspectives of digital media users. Such media could take the form of videogames, VR systems, training software, and other types of interactive narrative technology.

Pablo Jose Ortiz-Lampier

D. Fox Harrell

Leads

Pablo Jose Ortiz-Lampier

D. Fox Harrell

Research Areas

Impact Areas

Pablo Jose Ortiz-Lampier

D. Fox Harrell

Project

Characterizing the Sensitivity of Vision-in-the-Loop Driving Controllers Using CG

Computer Graphics Group

We work on understanding and improving vision algorithms used for self driving cars, by introducing synthetic data-sets to the loop.

Leads

Research Areas

Impact Areas

Project

CilkPride

Usable Programming Group

CilkPride is a programming environment that aims to make performance and safety information always available and appropriately visible to the programmer.

Charles E. Leiserson

Rob Miller

Leads

Charles E. Leiserson

Rob Miller

Research Areas

Geometric Data Processing Group

Charles E. Leiserson

Rob Miller

103 People Results

Murad Abu-Khalaf

Program Manager, Toyota-CSAIL Joint Research Center

E murad@mit.edu

T 452-2859

Mazdak Abulnaga

Graduate Student

medical vision

E abulnaga@mit.edu

Member

Monitoring Fetal Health

Medical Vision Group

Geometry and topology for scientific computing and shape analysis

medical vision

PI
Core/Dual

Ted Adelson

Professor

Vision, touch sensing, robotics

E adelson@csail.mit.edu

T 253-0645

Lead

Embodied Intelligence Community of Research

Blood Pressure Imager

Member

Visual Computing Community of Research

Vision, touch sensing, robotics

Alexander Amini

Graduate Student

PhD Candidate. Deep Learning; Robotics

E Amini@mit.edu

Lead

Robust Learning for Autonomous Vehicles

Member

Self-Driving Vehicles

Natural Language Processing Group

PhD Candidate. Deep Learning; Robotics

Brandon Araki

Graduate Student

E araki@csail.mit.edu

Anish Athalye

Graduate Student

PhD student in PDOS

E aathalye@mit.edu

RM 32-G978A

PhD student in PDOS

PI
Core/Dual

Regina Barzilay

Professor

Natural language processing, machine learning

E regina@csail.mit.edu

T 258-5706

Lead

Aspect-Augmented Adversarial Networks for Domain Adaptation

Member

Vertical AI Community of Research

Applied Machine Learning Community of Research

Natural language processing, machine learning

Noam Buckman

Graduate Student

PhD Candidate. Autonomous vehicles. Multi-robot systems.

E nbuckman@mit.edu

Member

Model-Based Embedded and Robotics Systems Group

Self-Driving Vehicles

PhD Candidate. Autonomous vehicles. Multi-robot systems.

Richard Camilli

Research Affiliate

E romeo@mit.edu

Member

Lillian Chin

Graduate Student

E ltchin@mit.edu

Lead

Sensorized Soft Electric Hands with Handed Shearing Auxetics

Member

Kami: A Modular Deductive Hardware Verification Platform

PI
Core/Dual

Adam Chlipala

Associate Professor

Programming languages, formal methods, security & privacy, systems

E adamc@csail.mit.edu

T 324-8439

Lead

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

FSCQ: File-system verification

Systems Community of Research

Programming languages, formal methods, security & privacy, systems

Yu-An Chung

Graduate Student

Speech and language processing, machine learning

E andyyuan@mit.edu

Lead

Unsupervised Speech Processing

Member

Spoken Language Systems Group

Speech and language processing, machine learning

PI
Core/Dual

David Clark

Senior Research Scientist

Internet architectures, communications policy, security

E ddc@csail.mit.edu

T 253-6003

Lead

Advanced Network Architecture Group

Internet Policy Research Initiative

Member

Computing & Society Community of Research

Systems Community of Research

Internet architectures, communications policy, security

PI
Core/Dual

Henry Corrigan-Gibbs

Assistant Professor

E henrycg@csail.mit.edu

T 253-0301

RM 32-G970A

PI
Core/Dual

Randall Davis

Professor

Human-computer interaction, systems, classic AI

E davis@csail.mit.edu

T 253-5879

Lead

Multimodal Understanding Group

Member

Computing & Society Community of Research

Human-computer interaction, systems, classic AI

Joseph DelPreto

Graduate Student

Works on human-robot interaction using muscle and brain signals.

E delpreto@csail.mit.edu

RM 32-376A

Lead

Supervising Robots with Muscle and Brain Signals

Brain-Controlled Robots

Distributed Robot Garden

Robot Compiler

SoFi - The Soft Robotic Fish

Soft Robotic Hand

Using Muscle Signals to Lift Objects with Robots

Controlling drones and other robots with gestures

Helping robots learn using demonstrations

Member

Works on human-robot interaction using muscle and brain signals.

Peter Deutsch

Graduate Student

E pwd@mit.edu

PI
Core/Dual

Srini Devadas

Professor

Architectures, security, computer-aided design

E devadas@csail.mit.edu

T 253-0454

Lead

Using Bitcoin to prevent identify theft

Secure Demand Paging for Trusted Execution Environments

Scaling strong anonymity

Return of the Byzantine Generals

Member

Sanctum Secure Processor

A new way of handling all-to-all broadcast

Architectures, security, computer-aided design

Mustafa Doga Dogan

Graduate Student

E doga@mit.edu

Member

HCI Engineering Group

Kevin Doherty

Graduate Student

E KDoherty@mit.edu

RM 32-235B

Tao Du

Graduate Student

CS PhD student

E taodu@csail.mit.edu

Lead

Computational Multicopter Design

CS PhD student

PI
Core/Dual

Fredo Durand

Professor

Vision, graphics, computational photography

E fredo@csail.mit.edu

T 253-7223

Lead

Computer Graphics Group