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

1 People Results matching all criteria

Rus

PI
Core/Dual

Daniela Rus

Director
CSAIL director, robotics, AI, data science, privacy
Rus
T 258-7567
RM 32/ 32-368/ 374

Lead

Distributed Robotics Laboratory
Social Network Extraction from GPS Datasets with Coresets
Safety Standards for Autonomous Vehicles
Soft Contact Modeling
Practical Secure Computation
Self-Driving Vehicles
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
CSAIL director, robotics, AI, data science, privacy

16 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

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

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

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

Project

Efficient Communication for Human-Machine Teams

Interactive Robotics Group
Our goal is to develop collaborative agents (software or robots) that can efficiently communicate with their human teammates. Key threads involve designing algorithms for inferring human behavior and for decision-making under uncertainty.

X. Jessie Yang

Vaibhav V. Unhelkar

JShah-headshot

Julie Shah

Leads

Vaibhav V. Unhelkar

JShah-headshot

Julie Shah

Research Areas

Human-Computer Interaction
Robotics

Impact Areas

Manufacturing

X. Jessie Yang

 

Vaibhav V. Unhelkar

JShah-headshot

Julie Shah

52 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
Joseph DelPreto

Joseph DelPreto

Graduate Student
Works on human-robot interaction using muscle and brain signals.
Joseph DelPreto
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

Member

Distributed Robotics Laboratory
Using Muscle Signals to Lift Objects with Robots
Works on human-robot interaction using muscle and brain signals.
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.
Kaelbling

PI
Core/Dual

Leslie Kaelbling

Professor
Robotics, machine learning, motion planning
Kaelbling
T 258-9695
RM 32-333

Lead

Learning and Intelligent Systems
Machine Learning
Learning and Optimization
Robotic Planning and Manipulation with Force Information
Reliable Robotic Construction of Multi-object Arrangements
Learning and Planning with Compressed Linear Expectation Models
Active Learning of Models for Planning
Task and Motion Planning for Autonomous Robots
Robust Intelligent Robots

Member

Robust Intelligent Robots
Robotics, machine learning, motion planning

17 News Results

gtown law2
Security & Cryptography Cybersecurity

MIT engineering students team up with Georgetown lawyers-in-training on internet privacy legislation

Every spring, engineering students from MIT and law students from Georgetown University overcome the distance between their institutions and disciplines in a semester-long flurry of virtual classroom meetings and late-night Google hangout sessions, culminating in presentations to policy experts in DC.

MIT engineering students team up with Georgetown lawyers-in-training on internet privacy legislation

A GelSight sensor attached to a robot’s gripper enables the robot to determine precisely where it has grasped a small screwdriver, removing it from and inserting it back into a slot, even when the gripper screens the screwdriver from the robot’s came
Robotics Manufacturing

Giving robots a sense of touch

Eight years ago, Ted Adelson’s research group at MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL) unveiled a new sensor technology, called GelSight, that uses physical contact with an object to provide a remarkably detailed 3-D map of its surface. Now, by mounting GelSight sensors on the grippers of robotic arms, two MIT teams have given robots greater sensitivity and dexterity. The researchers presented their work in two papers at the International Conference on Robotics and Automation last week.

Giving robots a sense of touch

“It’s really exciting to see our small origami robots doing something with potential important applications to healthcare,” Daniela Rus says. Pictured, an example of a capsule and the unfolded origami device.
Robotics Health Care

Ingestible origami robot can patch wounds inside your stomach!

In experiments involving a simulation of the human esophagus and stomach, researchers at CSAIL, the University of Sheffield, and the Tokyo Institute of Technology have demonstrated a tiny origami robot that can unfold itself from a swallowed capsule and, steered by external magnetic fields, crawl across the stomach wall to remove a swallowed button battery or patch a wound.The new work, which the researchers are presenting this week at the International Conference on Robotics and Automation, builds on a long sequence of papers on origami robots from the research group of CSAIL Director Daniela Rus, the Andrew and Erna Viterbi Professor in MIT’s Department of Electrical Engineering and Computer Science.

Ingestible origami robot can patch wounds inside your stomach!

This 3-D hexapod robot moves via a single motor, which spins a crankshaft that pumps fluid to the robot’s legs. Besides the motor and battery, every component is printed in a single step with no assembly required.
Robotics Manufacturing

First-ever 3-D printed robots made of both solids and liquids

One reason we don’t yet have robot personal assistants buzzing around doing our chores is because making them is hard. Assembling robots by hand is time-consuming, while automation — robots building other robots — is not yet fine-tuned enough to make robots that can do complex tasks.But if humans and robots can’t do the trick, what about 3-D printers?In a new paper, researchers at MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL) present the first-ever technique for 3-D printing robots that involves printing solid and liquid materials at the same time.The new method allows the team to automatically 3-D print dynamic robots in a single step, with no assembly required, using a commercially-available 3-D printer.

First-ever 3-D printed robots made of both solids and liquids

The MIT researchers' centimeter-long origami robot
Robotics

Origami robot self-folds, crawls, climbs, swims, self-destructs

A team of CSAIL researchers have developed a printable origami robot that folds itself up from a flat sheet of plastic when heated and measures about a centimeter from front to back.Weighing only a third of a gram, the robot can swim, climb an incline, traverse rough terrain, and carry a load twice its weight. Other than the self-folding plastic sheet, the robot’s only component is a permanent magnet affixed to its back. Its motions are controlled by external magnetic fields.“The entire walking motion is embedded into the mechanics of the robot body,” says Cynthia R. Sung, a CSAIL graduate student and one of the robot’s co-developers. “In previous [origami] robots, they had to design electronics and motors to actuate the body itself.”

Origami robot self-folds, crawls, climbs, swims, self-destructs