Research

Impact Areas
Research Areas

Filter options

1 News Results matching all criteria

Barbara Liskov 2

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

12 Group Results

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

Algorithms & Theory

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

Applied Computing Group

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

Leads

Research Areas

Algorithms & Theory

Impact Areas

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

Computational Biology

Impact Areas

Lead

Peter Szolovits

Peter Szolovits

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.

+8

Daniel Weitzner

Leads

Daniel Weitzner

Research Areas

Algorithms & Theory

Human-Computer Interaction

Security & Cryptography

Systems & Networking

Impact Areas

Internet of Things

Lead

Daniel Weitzner

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

Algorithms & Theory

Security & Cryptography

Impact Areas

Lead

Shafi Goldwasser

Silvio Micali

Ronald Rivest

Vinod Vaikuntanathan

Butler Lampson

Research Group

Geometric Data Processing Group

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

+6

Justin Solomon

Leads

Justin Solomon

Research Areas

Algorithms & Theory

Graphics & Vision

Impact Areas

Lead

Justin Solomon

Justin Solomon

Research Group

HCI Engineering Group

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

+2

Stefanie Mueller

Leads

Stefanie Mueller

Research Areas

Human-Computer Interaction

Impact Areas

Internet of Things

Lead

Stefanie Mueller

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.

+4

Stefanie Mueller

Leads

Stefanie Mueller

Research Areas

Graphics & Vision

Human-Computer Interaction

Programming Languages & Software Engineering

Impact Areas

Lead

Stefanie Mueller

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

+1

D. Fox Harrell

Leads

D. Fox Harrell

Research Areas

Human-Computer Interaction

Impact Areas

Lead

D. Fox Harrell

Peter Mawhorter

D. Fox Harrell

Research Group

Theory of Distributed Systems Group

We work on a wide range of problems in distributed computing theory. We study algorithms and lower bounds for typical problems that arise in distributed systems---like resource allocation, implementing shared memory abstractions, and reliable communication.

Nancy Lynch

Leads

Nancy Lynch

Research Areas

Algorithms & Theory

Impact Areas

Lead

Nancy Lynch

Nancy Lynch

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.

+7

Martin Rinard

Leads

Martin Rinard

Research Areas

Algorithms & Theory

Graphics & Vision

Programming Languages & Software Engineering

Security & Cryptography

Systems & Networking

Impact Areas

Internet of Things

Lead

Martin Rinard

Martin Rinard

Research Group

World Wide Web Consortium

Led by Web inventor and Director, Tim Berners-Lee and CEO Jeff Jaffe, the W3C focus is on leading the World Wide Web to its full potential by developing standards, protocols and guidelines that ensure the long-term growth of the Web

Leads

Tim Berners-Lee

Jeffrey Jaffe

Judy Brewer

Research Areas

Human-Computer Interaction

Systems & Networking

Impact Areas

Lead

Tim Berners-Lee

Jeffrey Jaffe

Judy Brewer

14 Project Results

Project

Algorithmic Aspects of Performance Engineering

Supertech Research Group

Theory of Computation Community of Research

The project concerns algorithmic solutions for writing fast codes.

Leads

Research Areas

Algorithms & Theory

Impact Areas

Project

Alloy

Software Design Group

Human-Computer Interaction Community of Research

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

Human-Computer Interaction

Programming Languages & Software Engineering

Security & Cryptography

Impact Areas

Daniel Jackson

Project

Artificial Social Intelligence for Successful Teams (ASIST)

Computation Structures Group

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

Human-Computer Interaction

Impact Areas

Project

Computational Knitting: Patterning and Shaping for Everyone

Computational Design and Fabrication Group

Knitting is the new 3d printing. It has become popular again with the widespread availability of patterns and templates, together with the maker movements. Lower-cost industrial knitting machines are starting to emerge, but we are still missing the corresponding design tools. Our goal is to fill this gap.

Alexandre Kaspar

Leads

Alexandre Kaspar

Research Areas

Graphics & Vision

Human-Computer Interaction

Impact Areas

Alexandre Kaspar

Project

Deterministic Algorithms for Robotic Task and Motion Planning

Learning and Intelligent Systems

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

Leads

Research Areas

Algorithms & Theory

Impact Areas

Project

Distributed Co-prime Sampling Algorithms

To further parallelize co-prime sampling based sparse sensing, we introduce Diophantine Equation in different algebraic structures to build generalized lattice arrays.
With strong relationship to generalized Chinese Remainder Theorem, the geometry properties in the remainder code space, a special lattice space, are explored.

Hanshen Xiao

Leads

Hanshen Xiao

Research Areas

Algorithms & Theory

Impact Areas

Hanshen Xiao

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

Julie Shah

Leads

Julie Shah

Research Areas

Human-Computer Interaction

Impact Areas

X. Jessie Yang

Julie Shah

Project

Helping robots learn using demonstrations

Distributed Robotics Laboratory

Help robots learn faster by providing demonstrations when they need help

Joseph DelPreto

Leads

Joseph DelPreto

Research Areas

Algorithms & Theory

Human-Computer Interaction

Impact Areas

Joseph DelPreto

Project

InstantCAD: Interactive Design Exploration/Optimization for CAD Models

Almost every object we use is developed with computer-aided design (CAD). While CAD programs are good for creating designs, using them to actually improve existing designs can be difficult and time-consuming.

Leads

Research Areas

Graphics & Vision

Human-Computer Interaction

Impact Areas

Project

New Interaction Models for Personal Fabrication Interfaces

Human-Computer Interaction Community of Research

Inspired by the history of the user interface for personal computing, we are developing new interaction models for personal fabrication.

Stefanie Mueller

Leads

Stefanie Mueller

Research Areas

Human-Computer Interaction

Impact Areas

Stefanie Mueller

Project

Privacy-Preserving Decentralized Optimization

To enable privacy preservation in decentralized optimization, differential privacy is the most commonly used approach. However, under such scenario, the trade-off between accuracy (even efficiency) and privacy is inevitable. In this project, distributed numerical optimization scheme incorporated with lightweight cryptographic information sharing are explored. The affect on the convergence rate from network topology is considered.

Hanshen Xiao

Leads

Hanshen Xiao

Research Areas

Algorithms & Theory

Security & Cryptography

Impact Areas

Hanshen Xiao

Project

Starling: Query Optimization for Cloud Services

Data Systems Group

Starling is a scalable query execution engine built on cloud function services that computes at a fine granularity, helping people more easily match workload demand.

Sam Madden

Matthew Perron

Leads

Sam Madden

Matthew Perron

Research Areas

Algorithms & Theory

Computer Architecture

Programming Languages & Software Engineering

Systems & Networking

Impact Areas

Sam Madden

Matthew Perron

Project

Supervising Robots with Muscle and Brain Signals

Distributed Robotics Laboratory

What if we could control robots more intuitively, using just hand gestures and brainwaves?

Joseph DelPreto

Leads

Joseph DelPreto

Research Areas

Human-Computer Interaction

Impact Areas

Joseph DelPreto

Project

Uhura: Personal Assistant that Manages Risk

Model-Based Embedded and Robotics Systems Group

Computation Structures Group

Uhura is an autonomous system that collaborates with humans in planning and executing complex tasks, especially under over-subscribed and risky situations.

Leads

Yuening Zhang

Brian Williams

Howard Shrobe

Research Areas

Algorithms & Theory

Human-Computer Interaction

Impact Areas

14 People Results

PI
Core/Dual

Randall Davis

Professor

Human-computer interaction, systems, classic AI

E davis@csail.mit.edu

T 253-5879

RM

Lead

Human-Computer Interaction

Multimodal Understanding Group

Member

Cognitive AI Community of Research

Human-Computer Interaction Community of Research

Computing & Society Community of Research

Human-computer interaction, systems, classic AI

Mustafa Doga Dogan

Graduate Student

E doga@mit.edu

RM

Member

HCI Engineering Group

PI
Core/Dual

David Karger

Professor

Helping people manage information

E karger@csail.mit.edu

T 258-6167

RM

Lead

Human-Computer Interaction

Algorithms Group

Mavo: Creating Interactive Data-Driven Web Applications by Authoring HTML

Wikum: Bridging Discussion Systems and Wikis with Collective Summarization

Squadbox: Combating Online Harassment using Friendsourced Moderation

Eyebrowse: Social and Public Web Browsing

Talkademic: Motivating Online Academic Discourse

Member

Human-Computer Interaction Community of Research

Theory of Computation Community of Research

Systems Community of Research

Helping people manage information

Alexandre Kaspar

Graduate Student

Graphics, crowdsourcing and hybrid fabrication.

E akaspar@mit.edu

RM

Lead

Crowdsourcing in Graphics and Vision

Computational Knitting: Patterning and Shaping for Everyone

Graphics, crowdsourcing and hybrid fabrication.

PI
Core/Dual

Dina Katabi

Professor

Wireless, networks, machine learning

E dina@csail.mit.edu

T 324-6027

RM

Lead

Networks at MIT

EQ-Radio: Emotion Recognition using Wireless Signals

Member

Vertical AI Community of Research

Wireless, networks, machine learning

PI
Core/Dual

Wojciech Matusik

Professor

Graphics, vision, fabrication, robotics, hci

E wojciech@csail.mit.edu

T 324-8432

Lead

Computational Design and Fabrication Group

Computer Graphics Group

Member

Computational Multicopter Design

Simit: A Language for Computing on Sparse Systems

InstantCAD: Interactive Design Exploration/Optimization for CAD Models

Visual Computing Community of Research

Embodied Intelligence Community of Research

Graphics, vision, fabrication, robotics, hci

PI
Core/Dual

Stefanie Mueller

Assistant Professor

Human-computer interaction, fabrication, hardware, robotics.

E stefanie.mueller@mit.edu

T 715-5831

RM

Lead

HCI Engineering Group

Human-Computer Interaction

New Interaction Models for Personal Fabrication Interfaces

Human-Computer Interaction Community of Research

Human-computer interaction, fabrication, hardware, robotics.

PI
Core/Dual

Ronald Rivest

Institute Professor

Cryptography, cybersecurity, RSA public-key encryption

E rivest@mit.edu

T 253-5880

RM

Lead

Cryptography and Information Security Group

Member

Theory of Computation Community of Research

Computing & Society Community of Research

Cryptography, cybersecurity, RSA public-key encryption

PI
Core/Dual

Justin Solomon

Assistant Professor

Geometry, graphics, vision, machine learning, optimization.

E jsolomon@mit.edu

RM

Lead

Computer Graphics Group

Geometric Data Processing Group

Geometry in Large-Scale Machine Learning

Political Geometry: Establishing Fair Mathematical Standards for Political Redistricting

Sensible Deep Learning for 3D Data

Optimal transport for statistics and machine learning

Geometry and topology for scientific computing and shape analysis

Member

Visual Computing Community of Research

Geometry, graphics, vision, machine learning, optimization.

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

Localizing External Contact Using Proprioceptive Sensors

Tactile and Physical Perception

Soft Contact Modeling

Self-Driving Vehicles

Member

Tactile and Physical Perception

Task-Driven Co-Optimization Of Articulated Robots

Center for Deployable Machine Learning (CDML)

Embodied Intelligence Community of Research

Robotics, machine learning, motion planning and control

Yu Wang

Graduate Student

E wangyu9@mit.edu

RM 32-D475A

Member

Geometric Data Processing Group

Geometry and topology for scientific computing and shape analysis

PI
Core/Dual

Brian Williams

Professor

Robotics, autonomy, artificial intelligence, machine learning

E williams@csail.mit.edu

T 253-2739

RM

Lead

Model-Based Embedded and Robotics Systems Group

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

Robots Adapting to Human Intent

Risk-aware Network Resource Allocation

Uhura: Personal Assistant that Manages Risk

Artificial Social Intelligence for Successful Teams (ASIST)

Member

Cognitive AI Community of Research

Robotics, autonomy, artificial intelligence, machine learning

Hanshen Xiao

Graduate Student

E hsxiao@MIT.EDU

RM

Lead

Distributed Co-prime Sampling Algorithms

Privacy-Preserving Decentralized Optimization

Junyi Zhu

Graduate Student

E junyizhu@mit.edu

RM

Member

HCI Engineering Group

21 News Results

gripper 2

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

Mueller

Human-Computer Interaction Energy Manufacturing

April 17 '20

Mueller named 2020 Microsoft Research Faculty Fellow

Mueller named 2020 Microsoft Research Faculty Fellow

Mueller named 2020 Microsoft Research Faculty Fellow

COVID-19 breathing

Algorithms & Theory AI & ML 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

Text

Graphics & Vision Human-Computer Interaction Manufacturing

April 08 '20

Sprayable user interfaces

SprayableTech system lets users create large-scale interactive surfaces with sensors and displays using airbrushed inks

Sprayable user interfaces

curveboards 1

Human-Computer Interaction Manufacturing

March 05 '20

Integrating electronics onto physical prototypes

In place of flat “breadboards,” 3D-printed CurveBoards enable easier testing of circuit design on electronics products.

Integrating electronics onto physical prototypes

Photochrom

Human-Computer Interaction Energy Entertainment Manufacturing

September 10 '19

Objects can now change colors like a chameleon

Computer Science and Artificial Intelligence Laboratory team creates new reprogrammable ink that lets objects change colors using light.

Objects can now change colors like a chameleon

knitting

Algorithms & Theory AI & ML Graphics & Vision Programming Languages & Software Engineering Systems & Networking Entertainment Manufacturing

August 05 '19

Computer-aided knitting

New CSAIL research uses machine learning to customize clothing designs

Computer-aided knitting

Actuator 2

Algorithms & Theory Graphics & Vision Robotics Manufacturing

July 22 '19

Automated system generates robotic parts for novel tasks

When designing actuators involves too many variables for humans to test by hand, this system can step in.

Automated system generates robotic parts for novel tasks

Barbara Liskov 2

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

Trustworthy AI 2

Algorithms & Theory AI & ML Cybersecurity Health Care Internet of Things Manufacturing Transportation Wireless

February 12 '19

MIT CSAIL holds trustworthy AI event with Microsoft

Workshop explores technical directions for making AI safe, fair, and understandable

MIT CSAIL holds trustworthy AI event with Microsoft

CSAIL1

Algorithms & Theory Computer Architecture Big Data Cybersecurity Health Care Internet of Things Manufacturing

January 31 '19

MIT hosts workshop on theoretical foundations of deep learning

Last week MIT’s Institute for Foundations of Data Science (MIFODS) held an interdisciplinary workshop aimed at tackling the underlying theory behind deep learning. Led by MIT professor Aleksander Madry, the event focused on a number of research discussions at the intersection of math, statistics, and theoretical computer science.

MIT hosts workshop on theoretical foundations of deep learning

3-d shapes 1

Algorithms & Theory AI & ML Graphics & Vision Energy Entertainment Manufacturing

December 10 '18

Teaching machines to see in 3-D

CSAIL’s approach uses algorithms and “2.5-D” sketches to let computers visualize images from any perspective

Teaching machines to see in 3-D

Lucas Manuelli

Algorithms & Theory Graphics & Vision Robotics Manufacturing

September 10 '18

Robots can now pick up any object after inspecting it

Breakthrough CSAIL system suggests robots could one day be able to see well enough to be useful in people’s homes and offices.

Robots can now pick up any object after inspecting it

interactive design

Algorithms & Theory Programming Languages & Software Engineering Manufacturing

August 16 '18

Design tool reveals a product’s many possible performance tradeoffs

Users can quickly visualize designs that optimize multiple parameters at once.

Design tool reveals a product’s many possible performance tradeoffs

Demaine 2

Algorithms & Theory Entertainment Health Care Manufacturing Transportation

May 25 '18

Demaine gives Congressional briefing on intersection of origami and computer science

MIT professor discusses using paper-folding for applications in manufacturing, medicine, and robotics

Demaine gives Congressional briefing on intersection of origami and computer science

drone1

Algorithms & Theory Robotics Energy Manufacturing Transportation

February 12 '18

Programming drones to fly in the face of uncertainty

CSAIL's NanoMap system enables drones to avoid obstacles while flying at 20 miles per hour, by more deeply integrating sensing and control.

Programming drones to fly in the face of uncertainty

MIT professor Stefanie Mueller

Human-Computer Interaction Entertainment Manufacturing

January 31 '18

Changing the color of 3-D printed objects

CSAIL system uses custom ink and ultraviolet light to repeatedly change an object's color.

Changing the color of 3-D printed objects

bbva1

Algorithms & Theory Security & Cryptography Big Data Cybersecurity Education Entertainment Health Care Internet of Things Manufacturing

January 16 '18

Goldwasser, Micali, and Rivest win BBVA Foundation Frontiers of Knowledge Awards

This week it was announced that MIT professors and CSAIL principal investigators Shafi Goldwasser, Silvio Micali, Ronald Rivest, and former MIT professor Adi Shamir won this year’s BBVA Foundation Frontiers of Knowledge Awards in the Information and Communication Technologies category for their work in cryptography.

Goldwasser, Micali, and Rivest win BBVA Foundation Frontiers of Knowledge Awards

ACM Fellows

Algorithms & Theory Robotics Security & Cryptography Cybersecurity Internet of Things Manufacturing

December 11 '17

Four from MIT named 2017 Association for Computer Machinery Fellows

Today four MIT faculty were named among the Association for Computer Machinery's 2017 Fellows for making “landmark contributions to computing.”

Four from MIT named 2017 Association for Computer Machinery Fellows

MIT doctoral candidate Claudia Pérez-D'Arpino discusses her work teaching the Optimus robot to perform various tasks, including picking up a bottle.

AI & ML Human-Computer Interaction Robotics Manufacturing

May 10 '17

Teaching robots to teach other robots

Most robots are programmed using one of two methods: learning from demonstration, in which they watch a task being done and then replicate it, or via motion-planning techniques such as optimization or sampling, which require a programmer to explicitly specify a task’s goals and constraints.

Teaching robots to teach other robots

Researchers at MIT’s Microsystems Technology Laboratories have built a low-power chip specialized for automatic speech recognition. With power savings of 90 to 99 percent, it could make voice control practical for relatively simple electronic devices.

AI & ML Human-Computer Interaction Energy Internet of Things Manufacturing

February 13 '17

Voice control everywhere

The butt of jokes as little as 10 years ago, automatic speech recognition is now on the verge of becoming people’s chief means of interacting with their principal computing devices. In anticipation of the age of voice-controlled electronics, MIT researchers have built a low-power chip specialized for automatic speech recognition. Whereas a cellphone running speech-recognition software might require about 1 watt of power, the new chip requires between 0.2 and 10 milliwatts, depending on the number of words it has to recognize.

Voice control everywhere