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

37 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

David Clark

Karen Sollins

Leads

David Clark

Karen Sollins

Research Areas

Security & Cryptography

Systems & Networking

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.

+1

Una-May O'Reilly

Leads

Una-May O'Reilly

Research Areas

Security & Cryptography

Impact Areas

Lead

Una-May O'Reilly

Una-May O'Reilly

Community of Research

Applied Machine Learning Community of Research

This CoR brings together researchers at CSAIL working across a broad swath of application domains. Within these lie novel and challenging machine learning problems serving science, social science and computer science.

+6

Una-May O'Reilly

Leads

Una-May O'Reilly

Research Areas

Computational Biology

Programming Languages & Software Engineering

Impact Areas

Lead

Una-May O'Reilly

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.

+5

Aleksander Madry

Leads

Aleksander Madry

Research Areas

Algorithms & Theory

Graphics & Vision

Human-Computer Interaction

Programming Languages & Software Engineering

Security & Cryptography

Impact Areas

Lead

Aleksander Madry

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.

+6

Howard Shrobe

Leads

Howard Shrobe

Research Areas

Human-Computer Interaction

Security & Cryptography

Systems & Networking

Impact Areas

Lead

Howard Shrobe

Howard Shrobe

Research Group

Commit Group

We focus on finding novel approaches to improve the performance of modern computer systems without unduly increasing the complexity faced by application developers, compiler writers, or computer architects.

Saman Amarasinghe

Leads

Saman Amarasinghe

Research Areas

Computer Architecture

Programming Languages & Software Engineering

Impact Areas

Lead

Saman Amarasinghe

Saman Amarasinghe

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

Programming Languages & Software Engineering

Security & Cryptography

Systems & Networking

Impact Areas

Lead

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

Research Group

Computer-Aided Programming

We develop techniques and tools that exploit automated reasoning and large amounts of computing power to tackle challenging programming problems

Armando Solar-Lezama

Leads

Armando Solar-Lezama

Research Areas

Programming Languages & Software Engineering

Impact Areas

Lead

Armando Solar-Lezama

Armando Solar-Lezama

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

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

Programming Languages & Software Engineering

Security & Cryptography

Systems & Networking

Impact Areas

Lead

Sam Madden

Michael Stonebraker

Tim Kraska

Research Group

Decentralized Information Group

We are investigating decentralized technologies that affect social change.

+5

Lalana Kagal

Tim Berners-Lee

Leads

Lalana Kagal

Tim Berners-Lee

Research Areas

Algorithms & Theory

Programming Languages & Software Engineering

Systems & Networking

Impact Areas

Internet of Things

Lead

Lalana Kagal

Tim Berners-Lee

Lalana Kagal

Tim Berners-Lee

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

+2

David Karger

Leads

David Karger

Research Areas

Algorithms & Theory

Human-Computer Interaction

Programming Languages & Software Engineering

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.

+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

Human-Computer Interaction

HCI faculty and researchers in CSAIL.

Leads

Randall Davis

Fredo Durand

Daniel Jackson

David Karger

Rob Miller

Stefanie Mueller

Research Areas

Human-Computer Interaction

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

+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

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.

+2

Boris Katz

Leads

Boris Katz

Research Areas

Human-Computer Interaction

Impact Areas

Internet of Things

Lead

Boris Katz

Boris Katz

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.

+2

Leads

Daniel Weitzner

Hal Abelson

David Clark

Lalana Kagal

Karen Sollins

Gerald Sussman

Research Areas

Human-Computer Interaction

Security & Cryptography

Impact Areas

Internet of Things

Lead

Daniel Weitzner

Hal Abelson

David Clark

Lalana Kagal

Karen Sollins

Gerald Sussman

Research Group

Julia Lab

We focus on theoretical and numerical aspects of the core Julia language, base library, and several other packages.

Leads

Research Areas

Programming Languages & Software Engineering

Research Group

Lecturers

Lecturers in CSAIL

Leads

Research Areas

Algorithms & Theory

Security & Cryptography

Systems & Networking

Impact Areas

Research Group

MIT App Inventor

MIT App Inventor is an intuitive, visual programming environment that allows everyone – even children – to build fully functional apps for smartphones and tablets.

Hal Abelson

Leads

Hal Abelson

Research Areas

Programming Languages & Software Engineering

Systems & Networking

Impact Areas

Internet of Things

Lead

Hal Abelson

Hal Abelson

Research Group

Multimodal Understanding Group

Our objective is to build techniques, software, and hardware that enable natural interaction with
computation.

Randall Davis

Leads

Randall Davis

Research Areas

Algorithms & Theory

Human-Computer Interaction

Impact Areas

Lead

Randall Davis

Randall Davis

Research Group

Programming Languages & Verification

Mission: improve the software development process by replacing ugly development techniques with beautiful ones

Secret weapon: applied mathematical logic, including computer theorem proving (especially Coq) and type systems

+1

Adam Chlipala

Leads

Adam Chlipala

Research Areas

Programming Languages & Software Engineering

Lead

Adam Chlipala

Adam Chlipala

109 Project Results

Project

[Inactive] T-1000: A Thousand-Core Coherent Shared Memory System

Computation Structures Group

(This project is no longer active.) The T-1000, a prototype system of a thousand realistic processors embedded throughout an ensemble of interconnected FPGAs, seeks to demonstrate the scalability of timestamp-based cache coherence protocols on distributed shared memory systems.

Quan Nguyen

Leads

Quan Nguyen

Research Areas

Computer Architecture

Systems & Networking

Quan Nguyen

Project

A new way of handling all-to-all broadcast

Computation Structures Group

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

Algorithms & Theory

Security & Cryptography

Alin Tomescu

Jun Wan

Project

A Simplified and Extensible Cilk Runtime for Research

CilkS is a new runtime system for the Cilk multithreaded programming environment which makes it easy to experiment with new algorithms, data structures, and programming linguistics.

Charles E. Leiserson

Tao Schardl

Leads

Charles E. Leiserson

Tao Schardl

Research Areas

Algorithms & Theory

Programming Languages & Software Engineering

Charles E. Leiserson

Tao Schardl

Project

Active Learning of Models for Planning

Learning and Intelligent Systems

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

Algorithms & Theory

Human-Computer Interaction

Impact Areas

Leslie Kaelbling

Tomas Lozano-Perez

Project

Adversarial Cyber Security

Anyscale Learning for All ALFA

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

Security & Cryptography

Impact Areas

Una-May O'Reilly

Project

AIRvatar System: A Framework for Analyzing Virtual Identities

Imagination, Computation, and Expression Laboratory (ICE Lab)

Human-Computer Interaction Community of Research

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

Graphics & Vision

Human-Computer Interaction

Impact Areas

D. Fox Harrell

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

An Interlock for Self Driving Cars

Software Design Group

Computer-Aided Programming

Vertical AI Community of Research

Human-Computer Interaction 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

Human-Computer Interaction

Programming Languages & Software Engineering

Systems & Networking

Impact Areas

Daniel Jackson

Armando Solar-Lezama

Project

Arabic Language Processing

Spoken Language Systems Group

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

Human-Computer Interaction

Mitra Mohtarami

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

Automated Attack Tree Generation for Critical Infrastructure

Model-Based Embedded and Robotics Systems Group

Cognitive AI Community of Research

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

Security & Cryptography

Impact Areas

Howard Shrobe

Project

Automatic Speech Recognition

Spoken Language Systems Group

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

Human-Computer Interaction

Impact Areas

Internet of Things

Sameer Khurana

Jim Glass

Project

Basing Cryptography on Structured Hardness

Cryptography and Information Security Group

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

Algorithms & Theory

Security & Cryptography

Project

Bellmania

Supertech Research Group

Computer-Aided Programming

Theory of Computation Community of Research

Deductive synthesis for large-scale implementations of dynamic programming algorithms

Leads

Research Areas

Programming Languages & Software Engineering

Project

BlueDBM: Distributed Flash Storage for Big Data Analytics

Computation Structures Group

BlueDBM is an architecture of computer clusters consisting of fast distributed flash storage and in-storage accelerators, which often outperforms larger and more expensive clusters in applications such as graph analytics.

Leads

Research Areas

Computer Architecture

Systems & Networking

Impact Areas

Project

Brain-Controlled Robots

Distributed Robotics Laboratory

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

Human-Computer Interaction

Frank H. Guenther

Daniela Rus

Joseph DelPreto

Project

Bridging Theory and Practice in Shared-Memory Parallel Algorithm Design

This project aims to design parallel algorithms for shared-memory machines that are efficient both in theory and also in practice.

Julian Shun

Leads

Julian Shun

Research Areas

Algorithms & Theory

Programming Languages & Software Engineering

Systems & Networking

Impact Areas

Julian Shun

Project

The Car Can Explain!

Decentralized Information Group

Cognitive AI Community of Research

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

Human-Computer Interaction

Systems & Networking

Impact Areas

Gerald Sussman

Lalana Kagal

Project

Changing Minds via Roleplay in Interactive Digital Media

Imagination, Computation, and Expression Laboratory (ICE Lab)

Human-Computer Interaction Community of Research

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

Human-Computer Interaction

Impact Areas

Pablo Jose Ortiz-Lampier

D. Fox Harrell

Project

CilkPride

Usable Programming Group

Human-Computer Interaction Community of Research

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

Human-Computer Interaction

Programming Languages & Software Engineering

Charles E. Leiserson

Rob Miller

Project

Compilation Using Correct-by-Construction Program Synthesis

Programming Languages & Verification

We're using proof assistants to build correct, extensible compilers, by rephrasing compilation in terms of producing mathematical proofs.

Adam Chlipala

Leads

Adam Chlipala

Research Areas

Programming Languages & Software Engineering

Adam Chlipala

Project

Compression and Reordering for Parallel Graph Analytics

We plan to develop a suite of graph compression and reordering techniques as part of the Ligra parallel graph processing framework to reduce space usage and improve performance of graph algorithms.

Leads

Research Areas

Programming Languages & Software Engineering

Systems & Networking

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

Controlling drones and other robots with gestures

Distributed Robotics Laboratory

Interact with robots and other devices by gesturing, using wearable muscle and motion sensors

Joseph DelPreto

Leads

Joseph DelPreto

Research Areas

Human-Computer Interaction

Joseph DelPreto

73 People Results

Murad Abu-Khalaf

Program Manager, Toyota-CSAIL Joint Research Center

E murad@mit.edu

T 452-2859

Ekin Akyürek

Graduate Student

First year PhD student in computer science

E akyurek@mit.edu

First year PhD student in computer science

PI
Core/Dual

Saman Amarasinghe

Professor

Compilers, architectures, software engineering

E saman@csail.mit.edu

T 253-8879

RM

Lead

Tiramisu Compiler

Member

Simit: A Language for Computing on Sparse Systems

Taco: The Tensor Algebra Compiler

OpenTuner: An Extensible Framework for Program Autotuning

Program Performance Prediction with Deep Learning

Vertical AI Community of Research

Compilers, architectures, software engineering

Anish Athalye

Graduate Student

PhD student in PDOS

E aathalye@mit.edu

RM 32-G978A

PhD student in PDOS

PI
Core/Dual

Tim Berners-Lee

Professor

Systems, privacy, inventor of the World Wide Web

E timbl@w3.org

T 253-5702

RM

Lead

Decentralized Information Group

World Wide Web Consortium

Solid: Social Linked Data

Member

Computing & Society Community of Research

Systems, privacy, inventor of the World Wide Web

PI
Core/Dual

Michael Carbin

Assistant Professor

Programming languages and systems.

E mcarbin@csail.mit.edu

T 253-5881

RM

Lead

Programming Systems Group

The Lottery Ticket Hypothesis

Member

Programming with spaces

Program Performance Prediction with Deep Learning

Vertical AI Community of Research

Applied Machine Learning Community of Research

Systems Community of Research

Programming languages and systems.

Tej Chajed

Graduate Student

PhD student in systems

E tchajed@csail.mit.edu

RM 32-G978B

Lead

FSCQ: File-system verification

Member

Parallel and Distributed Operating Systems

PhD student in systems

Xuhao Chen

Postdoctoral Associate

Parallel Computer Architecture, Data Mining, Machine Learning

E cxh@mit.edu

Parallel Computer Architecture, Data Mining, Machine Learning

PI
Core/Dual

Adam Chlipala

Associate Professor

Programming languages, formal methods, security & privacy, systems

E adamc@csail.mit.edu

T 324-8439

RM

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

Systems Community of Research

Programming languages, formal methods, security & privacy, systems

Stephen Chou

Graduate Student

E s3chou@csail.mit.edu

RM

Member

Taco: The Tensor Algebra Compiler

Valentin Churavy

Graduate Student

#JuliaLang, #GPU, #HPC

E vchuravy@MIT.EDU

Member

Adversarial Cyber Security

#JuliaLang, #GPU, #HPC

PI
Core/Dual

David Clark

Senior Research Scientist

Internet architectures, communications policy, security

E ddc@csail.mit.edu

T 253-6003

RM

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

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

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

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

Distributed Robotics Laboratory

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

RM

Lead

Computation Structures Group

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

RM

Member

HCI Engineering Group

PI
Core/Dual

Fredo Durand

Professor

Vision, graphics, computational photography

E fredo@csail.mit.edu

T 253-7223

RM

Lead

Computer Graphics Group

Human-Computer Interaction

Computational Understanding of Visualizations and Graphic Designs

Member

Computational Bounce Flash for Indoor Portraits

Visual Computing Community of Research

Vision, graphics, computational photography

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

PI
Core/Dual

Joel Emer

Professor of the Practice

Architectures, performance modeling

E emer@csail.mit.edu

T 258-9190

RM

Member

Computation Structures Group

Pervasive Parallelism with the Swarm Architecture

Vertical AI Community of Research

Systems Community of Research

Architectures, performance modeling

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.

Sue Felshin

Research Scientist

E sfelshin@csail.mit.edu

T 253-2965

RM

Lead

Member

PI
Core/Dual

Jim Glass

Senior Research Scientist

speech and language processing

E glass@mit.edu

T 253-1640

RM

Lead

Spoken Language Systems Group

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

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

Embodied Intelligence Community of Research

speech and language processing

70 News Results

N95 Mask sensor

Human-Computer Interaction

October 21 '20

Electronic design tool morphs interactive objects

A new system lets users digitally model an object’s form and electronic function in one integrated space

Electronic design tool morphs interactive objects

computer vision model 1

Algorithms & Theory AI & ML Programming Languages & Software Engineering

September 08 '20

Toward a machine learning model that can reason about everyday actions

Researchers train a model to reach human-level performance at recognizing abstract concepts in video.

Toward a machine learning model that can reason about everyday actions

Deep learning

Algorithms & Theory Programming Languages & Software Engineering Energy

August 12 '20

Shrinking deep learning’s carbon footprint

Through innovation in software and hardware, researchers move to reduce the financial and environmental costs of modern artificial intelligence.

Shrinking deep learning’s carbon footprint

Graphics & Vision Programming Languages & Software Engineering Systems & Networking

July 17 '20

Wu receives ACM Doctoral Dissertation Honorable Mention award

ACM, the Association for Computing Machinery announced this week that MIT CSAIL PhD student ‘19 Jiajun Wu was selected for an honorable mention for his dissertation “Learning to See the Physical World.”

Wu receives ACM Doctoral Dissertation Honorable Mention award

GANs 2

Algorithms & Theory Programming Languages & Software Engineering

May 06 '20

Visualizing the world beyond the frame

Researchers test how far artificial intelligence models can go in dreaming up varied poses and colors of objects and animals in photos.

Visualizing the world beyond the frame

Arvind S.

Human-Computer Interaction

April 20 '20

Satyanarayan selected for NSF career award

This week it was announced that MIT assistant professor Arvind Satyanarayan has been awarded the distinguished NSF career award for his project “Effective Interaction Design for Data Visualization.”

Satyanarayan selected for NSF career award

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

Bluetooth sharing

AI & ML Security & Cryptography Systems & Networking Health Care

April 09 '20

Automated Covid-19 contact tracing - while preserving privacy

New system uses Bluetooth signals from your smartphone, with the goal of automating Covid-19 contact tracing while preserving privacy

Automated Covid-19 contact tracing - while preserving privacy

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

Armando Solar-Lezama 1

Security & Cryptography

March 24 '20

Armando Solar-Lezama wins NSF Expeditions Grant

This week it was announced that MIT professor Armando Solar-Lezama has received a prestigious NSF award for junior faculty, to go towards a new project that could impact scientific discovery in domains as diverse as organic chemistry, RNA splicing and cognitive science.

Armando Solar-Lezama wins NSF Expeditions Grant

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

Carbin and Mueller named 2020 Sloan Research Fellows 1

Human-Computer Interaction Systems & Networking

February 14 '20

Carbin and Mueller named 2020 Sloan Research Fellows

Carbin and Mueller named 2020 Sloan Research Fellows

Carbin and Mueller named 2020 Sloan Research Fellows

crypto

Algorithms & Theory Security & Cryptography

January 31 '20

Giving cryptocurrency users more bang for their buck

Routing scheme boosts efficiency in networks that help speed up blockchain transactions.

Giving cryptocurrency users more bang for their buck

Dark Patterns after the GDPR

Security & Cryptography

January 15 '20

Most websites don't follow European cookie consent laws

Just over one in ten sites conform to EU laws, according to researchers.

Most websites don't follow European cookie consent laws

Security & Cryptography

November 22 '19

Daniel Weitzner named National Academy of Public Administration 2019 Fellow

Daniel Weitzner named National Academy of Public Administration 2019 Fellow

Daniel Weitzner named National Academy of Public Administration 2019 Fellow

Alan Edelman 2

Programming Languages & Software Engineering

October 02 '19

Alan Edelman of MIT Recognized with Prestigious 2019 IEEE Computer Society Sidney Fernbach Award

Alan Edelman, professor of applied mathematics at MIT, has been selected to receive the 2019 IEEE Computer Society Sidney Fernbach Award.

Alan Edelman of MIT Recognized with Prestigious 2019 IEEE Computer Society Sidney Fernbach Award

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

Adam Chlipala

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

KEY2

Algorithms & Theory Security & Cryptography

June 27 '19

Automated cryptocode generator is helping secure the web

System automatically writes optimized algorithms to encrypt data in Google Chrome browsers and web applications.

Automated cryptocode generator is helping secure the web

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

Soya Park portrait

Human-Computer Interaction Systems & Networking

April 29 '19

Better email automation

CSAIL team studies what email users want for better automating email — and proposes "YouPS" filtering tool.

Better email automation

Riverbed image

Security & Cryptography Cybersecurity

February 20 '19

Platform ensures that web services adhere to users' privacy preferences

New MIT/Harvard platform acts as gatekeeper to ensure web services adhere to data restrictions

Platform ensures that web services adhere to users' privacy preferences

Nicolas Miailhe 1

AI & ML Security & Cryptography

February 01 '19

How Do You Govern Machines That Can Learn? Policymakers Are Trying to Figure That Out

Nicolas Miailhe, a co-founder of the Future Society, asking a question during a gathering of global policymakers last week at the Massachusetts Institute of Technology.

How Do You Govern Machines That Can Learn? Policymakers Are Trying to Figure That Out