Research

Impact Areas

Lead

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.

Martin Rinard

Leads

Martin Rinard

Research Areas

Graphics & Vision

Impact Areas

Lead

Martin Rinard

2 News Results matching all criteria

Algorithms & Theory Security & Cryptography Transportation

July 23 '19

Making it easier to program and protect the web

Professor Adam Chlipala builds tools to help programmers more quickly generate optimized, secure code.

Making it easier to program and protect the web

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

5 Group Results

Community of Research

Computing & Society Community of Research

Daniel Weitzner

Leads

Daniel Weitzner

Research Areas

Impact Areas

Lead

Daniel Weitzner

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

Graphics & Vision

Impact Areas

Lead

Justin Solomon

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

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.

+21

Sam Madden

Leads

Sam Madden

Research Areas

Computer Architecture

Impact Areas

Lead

Sam Madden

+21

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.

Martin Rinard

Leads

Martin Rinard

Research Areas

Graphics & Vision

Human-Computer Interaction Community of Research

Impact Areas

Lead

Martin Rinard

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

Better Models for Ride-Sharing

Traffic is not just a nuisance for drivers: It’s also a public health hazard and bad news for the economy.

Leads

Research Areas

Impact Areas

Big Data

Energy

Learning and Intelligent Systems

Project

Deterministic Algorithms for Robotic Task and Motion Planning

Our goal is to investigate deterministic algorithms for robotic task and motion planning.

Leads

Research Areas

Robotics

Impact Areas

Manufacturing

Project

Drones that Drive

Multi-robot path planning for robot swarms that can both fly and drive

Leads

Research Areas

Robotics

Impact Areas

Energy

Decentralized Information Group

Project

PrivacyML - A Privacy Preserving Framework for Machine Learning

Cognitive AI Community of Research

Computing & Society Community of Research

We are developing a general framework that enforces privacy transparently enabling different kinds of machine learning to be developed that are automatically privacy preserving.

Lalana Kagal

Vaikkunth Mugunthan

Leads

Lalana Kagal

Vaikkunth Mugunthan

Research Areas

Impact Areas

Lalana Kagal

Vaikkunth Mugunthan

Project

Safety Standards for Autonomous Vehicles

In this project, we aim to develop a framework that can ensure and certify the safety of an autonomous vehicle. By leveraging research from the area of formal verification, this framework aims to assess the safety, i.e., free of collisions, of a broad class of autonomous car controllers/planners for a given traffic model.

Leads

Lucas Liebenwein

Wilko Schwarting

Daniela Rus

Research Areas

Robotics

Impact Areas

Project

Video Data Querying

Data Systems Group

We are developing machine-learning technology to help users efficiently run data queries over large archives of raw video.

Sam Madden

Favyen Bastani

Leads

Sam Madden

Favyen Bastani

Research Areas

Impact Areas

Big Data

Entertainment

EQ-Radio: Emotion Recognition using Wireless Signals

Sam Madden

Favyen Bastani

10 People Results

R. David Edelman

Director, Project on Technology, Economy & National Security

Machine learning, cybersecurity, governance

E rde@mit.edu

T 258-6389

Machine learning, cybersecurity, governance

Gregory Falco

Research Affiliate

Dr. Falco is a hacker and expert in IoT and IIoT cybersecurity.

E gfalco@mit.edu

Dr. Falco is a hacker and expert in IoT and IIoT cybersecurity.

PI
Core/Dual

Dina Katabi

Professor

Wireless, networks, machine learning

E dina@csail.mit.edu

T 324-6027

Lead

Networks at MIT

Member

Vertical AI Community of Research

Wireless, networks, machine learning

Lucas Liebenwein

Graduate Student

Student and Researcher | Robotics, AI | Advanced Autonomy

E lucasl@mit.edu

RM 32-376C

Lead

Safety Standards for Autonomous Vehicles

Member

Coresets for Machine Learning Algorithms

Student and Researcher | Robotics, AI | Advanced Autonomy

PI
Core/Dual

Daniela Rus

Director

CSAIL director, robotics, AI, data science, privacy

E rus@csail.mit.edu

T 258-7567

RM 32/ 32-368/ 374

Lead

Social Network Extraction from GPS Datasets with Coresets

Safety Standards for Autonomous Vehicles

Soft Contact Modeling

Practical Secure Computation

Robust Learning for Autonomous Vehicles

Brain-Controlled Robots

Planning in Congestion for Autonomous Vehicles

Socially-Compliant Behavior for Autonomous Driving

Coresets for Machine Learning Algorithms

M-Blocks Modular Robotics

Robot Compiler

Distributed Robot Garden

Route and Motion Planning for Mobility-on-Demand with Rules of the Road

Member

Social Network Extraction from GPS Datasets with Coresets

Task-Driven Co-Optimization Of Articulated Robots

Wearable Blind Navigation

Drones that Drive

Better Models for Ride-Sharing

SoFi - The Soft Robotic Fish

Controlling drones and other robots with gestures

Using Muscle Signals to Lift Objects with Robots

Embodied Intelligence Community of Research

Helping robots learn using demonstrations

CSAIL director, robotics, AI, data science, privacy

Wilko Schwarting

Graduate Student

E wilkos@mit.edu

Lead

Safety Standards for Autonomous Vehicles

Planning in Congestion for Autonomous Vehicles

Socially-Compliant Behavior for Autonomous Driving

Member

Localizing External Contact Using Proprioceptive Sensors

PI
Core/Dual

Russ Tedrake

Professor

Robotics, machine learning, motion planning and control

E russt@csail.mit.edu

T 253-1778

RM 32-380B

Lead

Robot Locomotion Group

Tactile and Physical Perception

Soft Contact Modeling