Research

Impact Areas

Education

Lead

Daniel Jackson

2 News Results matching all criteria

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

Human-Computer Interaction Security & Cryptography Cybersecurity

April 13 '18

MIT experts discuss online security and protecting data in a “public-private” Internet age

Last week CSAIL hosted the fourth “Hot Topics in Computing” speaker series, a monthly forum where experts hold discussions with community members on various hot-button tech topics.

MIT experts discuss online security and protecting data in a “public-private” Internet age

1 Group Results

Research Group

Software Design Group

Our goal is to find better ways to make software, and ways to make software better.

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Impact Areas

Education

Lead

Daniel Jackson

25 Project Results

Project

An Interlock for Self Driving Cars

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.

Daniel Jackson

Armando Solar-Lezama

Leads

Daniel Jackson

Armando Solar-Lezama

Research Areas

Impact Areas

Transportation

Daniel Jackson

Armando Solar-Lezama

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.

Leads

Ramy Baly

Yonatan Belinkov

Mitra Mohtarami

Research 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

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.

Leads

Hao Tang

Wei-Ning Hsu

David Harwath

Sameer Khurana

Di-Chia Chueh

Jim Glass

Research Areas

Computational Fabrication Group

Impact Areas

Project

Computational Knitting: Patterning and Shaping for Everyone

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

Impact Areas

Entertainment

Manufacturing

Alexandre Kaspar

Project

Déjà Vu: Constructing Apps from Concepts

Déjà Vu is a new platform for end-user development of apps with rich functionality. It features a novel theory of modularity for binding concepts; an extensive library of reusable concepts; and a WYSIWYG tool for specifying bindings and customizing visual layout

Santiago Perez De Rosso

Daniel Jackson

Leads

Santiago Perez De Rosso

Daniel Jackson

Research Areas

Interactive Robotics Group

Santiago Perez De Rosso

Daniel Jackson

Project

Efficient Communication for Human-Machine Teams

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

Julie Shah

Leads

Vaibhav V. Unhelkar

Julie Shah

Research Areas

Impact Areas

Manufacturing

X. Jessie Yang

Vaibhav V. Unhelkar

Julie Shah

Project

Eyebrowse: Social and Public Web Browsing

Eyebrowse aims to create a social outdoors for your web browsing.

David Karger

Leads

David Karger

Research Areas

Impact Areas

David Karger

Project

Gitless: a simple version control system built on top of Git

Gitless is a conceptual redesign of Git which attempts to make Git easier to learn and use

Santiago Perez De Rosso

Daniel Jackson

Leads

Santiago Perez De Rosso

Daniel Jackson

Research Areas

Santiago Perez De Rosso

Daniel Jackson

Project

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

Mavo is a language that lets anyone turn a static HTML document into a fully functioning reactive web application with data presentation, editing, storage and lightweight computation, all without writing a single line of Javascript or other programming code.

David Karger

Lea Verou

Leads

David Karger

Lea Verou

Research Areas

David Karger

Lea Verou

Project

Natural language Understanding for Human-Robot Interaction

Our goal is to enable robots to understand and execute natural language commands from human agents. We develop algorithms that allow a robot to interpret, learn and reason about semantic concepts embedded in language in the context of low-level metric representations perceived from sensors.

Nicole Glabinski

Subhro Roy

Leads

Subhro Roy

Research Areas

Nicole Glabinski

Subhro Roy

Project

Poirot: Secure Protocol Implementation by Design

Even formally verified protocols that have been faithfully implemented have been found to have security vulnerabilities. A new framework eliminates such vulnerabilities by design.

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Impact Areas

Geometric Data Processing Group

Daniel Jackson

Project

Political Geometry: Establishing Fair Mathematical Standards for Political Redistricting

In collaboration with mathematicians at Tufts University, we are studying how to establish fair, mathematically well-posed, and computationally tractable standards for political redistricting.

Leads

Justin Solomon

Mira Bernstein (Tufts)

Moon Duchin (Tufts)

Ari Nieh (Tufts)

Research Areas

Graphics & Vision

Distributed Robotics Laboratory

Project

Practical Secure Computation

Our goal is to bridge theory and practice to create infrastructure that allow computation and multi-party computation without compromising privacy.

Daniela Rus

Danny Feldman

Leads

Daniela Rus

Danny Feldman

Research Areas

Daniela Rus

Danny Feldman

Project

Rethinking Software Design

What is design thinking in the context of software? We're developing a new approach to software design that achieves usability and robustness by going deeper than the user interface.

Daniel Jackson

Santiago Perez De Rosso

Leads

Daniel Jackson

Santiago Perez De Rosso

Research Areas

Daniel Jackson

Santiago Perez De Rosso

Project

Return of the Byzantine Generals

This project studies new solutions to the Byzantine General Problem and its applications in distributed systems and cryptography.

Srini Devadas

Leads

Srini Devadas

Research Areas

Srini Devadas

Project

Sanctum Secure Processor

An open-source, minimal secure processor

Ilia Lebedev

Leads

Ilia Lebedev

Research Areas

Computer Architecture

Ilia Lebedev

Project

Secure Demand Paging for Trusted Execution Environments

This project focuses on altering the way trusted execution environments handle paging to decouple page access patterns from the control flow of the program, preventing an attacker from using these access patterns to learn information about program secrets.

Srini Devadas

Leads

Srini Devadas

Research Areas

Computer Architecture

Model-Based Embedded and Robotics Systems Group

Srini Devadas

Project

Securing IoT

IoT devices primarily use free embedded Linux which has many security flaws. We are conducting penetration tests on IoT and developing a secure version of embedded Linux.

Howard Shrobe

Leads

Howard Shrobe

Research Areas

Impact Areas

Internet of Things

Howard Shrobe

Project

Security by Design for Cyberphysical Systems

An approach to reducing risks of attack on cyberphysical infrastructure (such as water purification plants and electric grids) with new software design and analysis techniques.

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Impact Areas

Daniel Jackson

Project

Squadbox: Combating Online Harassment using Friendsourced Moderation

Fight back against online harassment with a squad of friends.

David Karger

Leads

David Karger

Research Areas

David Karger

Project

Towards Adversarially Robust Deep Neural Networks

We work towards a principled understanding of the non-robust nature of deep learning classifiers and build approaches to training reliably robust classifiers.

Aleksander Madry

Leads

Aleksander Madry

Research Areas

Graphics & Vision

Impact Areas

Aleksander Madry

Project

Unsupervised Speech Processing

All humans process vast quantities of unannotated speech and manage to learn phonetic inventories, word boundaries, etc., and can use these abilities to acquire new word. Why can't ASR technology have similar capabilities? Our goal in this research project is to build speech technology using unannotated speech corpora.

Leads

Jennifer Drexler

Yu-An Chung

Sameer Khurana

David Harwath

Research Areas

Impact Areas

Education

Health Care

Project

Wearable Ultrasonic Echolocation

Vision Group

The goal of this project is to develop and test a wearable ultrasonic echolocation aid for people who are blind and visually impaired. We combine concepts from engineering, acoustic physics, and neuroscience to make echolocation accessible as a research tool and mobility aid.

Santani Teng

Leads

Santani Teng

Research Areas

Kami: A Modular Deductive Hardware Verification Platform

Impact Areas

Health Care

Santani Teng

47 People Results

Anish Athalye

Graduate Student

PhD student in PDOS

E aathalye@mit.edu

RM 32-G978A

PhD student in PDOS

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

Programming languages, formal methods, security & privacy, systems

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

Keeping America Safe: Toward More Secure Networks for Critical Sectors

Internet architectures, communications policy, security

PI
Core/Dual

Randall Davis

Professor

Human-computer interaction, systems, classic AI

E davis@csail.mit.edu

T 253-5879

Lead

Multimodal Understanding Group

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

Member

Distributed Robotics Laboratory

Using Muscle Signals to Lift Objects with Robots

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

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

Gregory Falco

Postdoctoral Associate

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.

Sue Felshin

Research Scientist

E sfelshin@csail.mit.edu

T 253-2965

Lead

START System

Member

Infolab

PI
Core/Dual

Jim Glass

Senior Research Scientist

speech and language processing

E glass@mit.edu

T 253-1640

Lead

Designing Information-Rich Embedding Spaces

Unsupervised Learning of Interpretable Representations from Sequential Data

Fact-Checking and Reasoning

Speaker Verification and Diarization

Automatic Speech Recognition

Language and Dialect Identification

Member

Wait-learning: Intelligent Systems for Making Productive Use of Wait Time

Using Computers to Eat Healthier

Low-Power Speech Processing Circuits

Crossing the Vision-Language Boundary

Unsupervised Speech Processing

Arabic Language Processing

Health-related Biomarkers from Speech

Community Question Answering

Understanding Language Representations in Deep Learning Models

speech and language processing

Francois Grondin

Postdoctoral Fellow

Postdoctoral Research Associate

E fgrondin@csail.mit.edu

Member

Crossing the Vision-Language Boundary

Postdoctoral Research Associate

David Harwath

Research Scientist

E dharwath@csail.MIT.EDU

Lead

Automatic Speech Recognition

Unsupervised Speech Processing

Member

PI
Core/Dual

Daniel Jackson

Professor

Software design, programming, systems

E dnj@csail.mit.edu

T 258-8471

Lead

Rethinking Software Design

Gitless: a simple version control system built on top of Git

Déjà Vu: Constructing Apps from Concepts

Security by Design for Cyberphysical Systems

Poirot: Secure Protocol Implementation by Design

An Interlock for Self Driving Cars

Alloy

Member

Espalier

Software design, programming, systems

PI
Core/Dual

Frans Kaashoek

Professor

Systems, networks, architectures

E kaashoek@csail.mit.edu

T 253-7149

Lead

Parallel and Distributed Operating Systems

Scaling Filesystems To Many Cores

Member

Noria: a new data-flow system for web applications

FSCQ: File-system verification

Systems, networks, architectures

PI
Core/Dual

David Karger

Professor

Helping people manage information

E karger@csail.mit.edu

T 258-6167

Lead

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

Helping people manage information

Alexandre Kaspar

Graduate Student

Graphics, crowdsourcing and hybrid fabrication.

E akaspar@mit.edu

Lead

Crowdsourcing in Graphics and Vision

Computational Knitting: Patterning and Shaping for Everyone

Member

Computer Graphics Group

Graphics, crowdsourcing and hybrid fabrication.

PI
Core/Dual

Boris Katz

Principal Research Scientist

Natural language processing

E boris@csail.mit.edu

T 253-6032

Lead

Infolab

START System

Semantic Parsing using Vision

Generating Plans for Agents using Video and Language

Inferring “Theory of Mind” with vision and language

Member

Center for Brains, Minds and Machines

Natural language processing

Sameer Khurana

Graduate Student

unsupervised speech processing, automatic speech recognition

E skhurana@mit.edu

Lead

Automatic Speech Recognition

Unsupervised Speech Processing

Language and Dialect Identification

Member

Vuvuzela: Metadata private messaging

unsupervised speech processing, automatic speech recognition

Kimberle Koile

Research Scientist

E kkoile@csail.mit.edu

David Lazar

Graduate Student

David Lazar is a PhD student in systems security

E lazard@mit.edu

RM 32-G978B

Lead

Member

Parallel and Distributed Operating Systems

David Lazar is a PhD student in systems security

Ilia Lebedev

Graduate Student

E ilebedev@csail.mit.edu

Lead

Sanctum Secure Processor

Member