Research

Impact Areas

Lead

Una-May O'Reilly

Research Group

Clinical Decision-Making Group

We focus on furthering the application of technology and artificial intelligence in medicine and health-care.

+11

Peter Szolovits

Leads

Peter Szolovits

Research Areas

Impact Areas

Lead

Peter Szolovits

+11

Peter Szolovits

Research Group

Decentralized Information Group

We are investigating decentralized technologies that affect social change.

Lalana Kagal

Tim Berners-Lee

Leads

Lalana Kagal

Tim Berners-Lee

Research Areas

Impact Areas

Lead

Lalana Kagal

Tim Berners-Lee

Lalana Kagal

Tim Berners-Lee

Research Group

Distributed Robotics Laboratory

We aim to develop the science of autonomy toward a future with robots and AI systems integrated into everyday life, supporting people with cognitive and physical tasks.

+19

Daniela Rus

Leads

Daniela Rus

Research Areas

Impact Areas

Lead

Daniela Rus

+19

Daniela Rus

3 Project Results matching all criteria

Project

Solid: Social Linked Data

Solid aims to radically change the way Web applications work today, resulting in true data ownership as well as improved privacy.

Tim Berners-Lee

Lalana Kagal

Leads

Tim Berners-Lee

Lalana Kagal

Research Areas

Impact Areas

Internet of Things

Tim Berners-Lee

Lalana Kagal

Project

Robust Optimization in Machine Learning and Data Mining

Machine Learning

Many optimization problems in machine learning rely on noisy, estimated parameters. Neglecting this uncertainty can lead to great fluctuations in performance. We are developing algorithms for these already nonconvex problems that are robust to such errors.

Stefanie Jegelka

Matthew Staib

Leads

Stefanie Jegelka

Matthew Staib

Research Areas

Impact Areas

Stefanie Jegelka

Matthew Staib

Project

PrivacyML - A Privacy Preserving Framework for Machine Learning

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

Noria: a new data-flow system for web applications

Impact Areas

Lalana Kagal

Vaikkunth Mugunthan

5 People Results matching all criteria

Jonathan Behrens

Graduate Student

E behrensj@mit.edu

RM 32-G978B

Member

Parallel and Distributed Operating Systems

PI
Core/Dual

Tim Berners-Lee

Professor

Systems, privacy, inventor of the World Wide Web

E timbl@w3.org

T 253-5702

Lead

World Wide Web Consortium

Solid: Social Linked Data

Systems, privacy, inventor of the World Wide Web

PI
Core/Dual

Lalana Kagal

Principal Research Scientist

Privacy, web decentralization, distributed data

E lkagal@csail.mit.edu

T 253-5845

Lead

Internet Policy Research Initiative

The Car Can Explain!

Solid: Social Linked Data

PrivacyML - A Privacy Preserving Framework for Machine Learning

Privacy, web decentralization, distributed data

PI
Core/Dual

Una-May O'Reilly

Principal Research Scientist

Applied AI and ML in cybersecurity, healthcare, education

E unamay@csail.mit.edu

T 253-6437

Lead

Anyscale Learning for All ALFA

MOOC Learner Project: Data science for e-learning

Adversarial Cyber Security

GIGABEATS: Data science for medical sensor data

Applied AI and ML in cybersecurity, healthcare, education

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

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

7 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

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

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

AI & Machine Learning Computational Biology Security & Cryptography Cybersecurity Health Care

October 18 '18

Cryptographic protocol enables greater collaboration in drug discovery

Neural network that securely finds potential drugs could encourage large-scale pooling of sensitive data.

Cryptographic protocol enables greater collaboration in drug discovery

Computational Biology Security & Cryptography Cybersecurity Health Care

May 10 '18

Protecting confidentiality in genomic studies

Genome-wide association studies, which look for links between particular genetic variants and incidence of disease, are the basis of much modern biomedical research.

Protecting confidentiality in genomic studies

Tim Berners-Lee was honored with the Turing Award for his work inventing the World Wide Web, the first web browser, and "the fundamental protocols and algorithms [that allowed] the web to scale."

Computer Architecture Big Data Cybersecurity Education Energy Entertainment Health Care Internet of Things Wireless

May 02 '18

From Utopia to Dystopia in 29 Short Years

May 2, 2018 - Sir Tim Berners-Lee of MIT gave a Dertouzos Distinguished Lecture titled "From Utopia to Dystopia in 29 Short Years."

From Utopia to Dystopia in 29 Short Years

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

37 Group Results

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.

Una-May O'Reilly

Leads

Una-May O'Reilly

Research Areas

Impact Areas

Lead

Una-May O'Reilly

Research Group

Center for Brains, Minds and Machines

Our main goal is developing a computationally based understanding of human intelligence and establishing an engineering practice based on that understanding.

Tomaso Poggio

Leads

Tomaso Poggio

Research Areas

Impact Areas

Lead

Tomaso Poggio

Research Group

Clinical Decision-Making Group

We focus on furthering the application of technology and artificial intelligence in medicine and health-care.

+11

Peter Szolovits

Leads

Peter Szolovits

Research Areas

Impact Areas

Lead

Peter Szolovits

+11

Peter Szolovits

Research Group

Clinical Machine Learning Group

Our group is interested in using machine learning and artificial intelligence to transform health care.

David Sontag

Leads

David Sontag

Research Areas

Impact Areas

Lead

David Sontag

Research Group

Complexity Theory Group

Our interests span quantum complexity theory, barriers to solving P versus NP, theoretical computer science with a focus on probabilistically checkable proofs (PCP), pseudo-randomness, coding theory, and algorithms.

Leads

Shafi Goldwasser

Ronitt Rubinfeld

Michael Sipser

Ryan Williams

Virginia Vassilevska Williams

Research Areas

Impact Areas

Lead

Shafi Goldwasser

Ronitt Rubinfeld

Michael Sipser

Ryan Williams

Virginia Vassilevska Williams

Research Group

Computation and Biology

Our lab focuses on designing algorithms to gain biological insights from advances in automated data collection and the subsequent large data sets drawn from them.

Bonnie Berger

Leads

Bonnie Berger

Research Areas

Impact Areas

Lead

Bonnie Berger

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.

+29

Leads

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

Research Areas

Computer Architecture

Impact Areas

Wireless

Lead

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

+29

Research Group

Computational Biology Group

We seek to understand the mechanistic basis of human disease, using a combination of computational and experimental techniques.

Manolis Kellis

Leads

Manolis Kellis

Research Areas

Impact Areas

Lead

Manolis Kellis

Research Group

Computational Cognitive Science Group

We study the computational basis of human learning and inference.

Joshua Tenenbaum

Leads

Joshua Tenenbaum

Research Areas

Impact Areas

Lead

Joshua Tenenbaum

Research Group

Computational Connectomics Group

Our group’s goal is to create, based on such microscopic connectivity and functional data, new mathematical models explaining how neural tissue computes.

Nir Shavit

Leads

Nir Shavit

Research Areas

Impact Areas

Lead

Nir Shavit

Research Group

Computational Genomics Group

We develop new machine learning techniques and algorithms to model the transcriptional regulatory networks that control gene expression programs in living cells.

Dave Gifford

Leads

Dave Gifford

Research Areas

Impact Areas

Lead

Dave Gifford

Research Group

Computational Perception & Cognition

We combine methods from computer science, neuroscience and cognitive science to explain and model how perception and cognition are realized in human and machine.

Aude Oliva

Leads

Aude Oliva

Research Areas

Impact Areas

Lead

Aude Oliva

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

Impact Areas

Wireless

Lead

Shafi Goldwasser

Silvio Micali

Ronald Rivest

Vinod Vaikuntanathan

Butler Lampson

Research Group

Database Group

We conduct research on all areas of database systems and information management.

Sam Madden

Michael Stonebraker

Leads

Sam Madden

Michael Stonebraker

Research Areas

Impact Areas

Wireless

Lead

Sam Madden

Michael Stonebraker

Sam Madden

Michael Stonebraker

Research Group

Data-Driven Inference Group

We use machine learning and computer vision to improve outcomes in medicine, finance, and sports

John Guttag

Leads

John Guttag

Research Areas

Impact Areas

Lead

John Guttag

Research Group

Decentralized Information Group

We are investigating decentralized technologies that affect social change.

Lalana Kagal

Tim Berners-Lee

Leads

Lalana Kagal

Tim Berners-Lee

Research Areas

Impact Areas

Lead

Lalana Kagal

Tim Berners-Lee

Lalana Kagal

Tim Berners-Lee

Research Group

Distributed Robotics Laboratory

We aim to develop the science of autonomy toward a future with robots and AI systems integrated into everyday life, supporting people with cognitive and physical tasks.

+19

Daniela Rus

Leads

Daniela Rus

Research Areas

Impact Areas

Lead

Daniela Rus

+19

Daniela Rus

Research Group

HCI Engineering Group

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

Stefanie Mueller

Leads

Stefanie Mueller

Research Areas

Impact Areas

Lead

Stefanie Mueller

Research Group

Interactive Robotics Group

The Interactive Robotics Group aims to imagine the future of work by designing collaborative robot teammates that enhance human capability.

Julie Shah

Leads

Julie Shah

Research Areas

Impact Areas

Transportation

Lead

Julie Shah

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

Research Group

Lecturers

Lecturers in CSAIL

Leads

Research Areas

Impact Areas

Research Group

Machine Learning

We work on a variety of topics spanning theoretical foundations, algorithms, and applications.

Leads

Tamara Broderick

Tommi Jaakkola

Stefanie Jegelka

Leslie Kaelbling

David Sontag

Research Areas

Impact Areas

Lead

Tamara Broderick

Tommi Jaakkola

Stefanie Jegelka

Leslie Kaelbling

David Sontag

Research Group

Medical Vision Group

We develop new algorithms for medical image analysis and visualization of medical imagery.

+12

Polina Golland

Leads

Polina Golland

Research Areas

Impact Areas

Lead

Polina Golland

+12

Polina Golland

Research Group

Multicore Algorithmics

We develop techniques for designing, implementing, and reasoning about multiprocessor algorithms, in particular concurrent data structures for multicore machines and the mathematical foundations of the computation models that govern their behavior.

Nir Shavit

Leads

Nir Shavit

Research Areas

Impact Areas

Computational Cognitive Science Group

Energy

Lead

Nir Shavit

65 Project Results

Project

A Counterfactual Simulation Model of Causal Judgment

We develop a computational model that explains how people make causal judgments in physical scenes by mentally simulating counterfactual outcomes and comparing those to what actually happened.

Leads

Research Areas

Impact Areas

Anyscale Learning for All ALFA

Project

Adversarial Cyber Security

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

Impact Areas

Una-May O'Reilly

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. Now one of the main challenges is to make the system more usable and understandable for the user.

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Interactive Robotics Group

Impact Areas

Daniel Jackson

Project

Apprenticeship Scheduling: Learning to Schedule From Human Experts

Robot scheduling via learning from demonstration for tasks in medicine and more

Leads

Research Areas

Impact Areas

Weiss Laboratory for Synthetic Biology

Project

Artificial tissue homeostasis

In order to be able to design synthetic organs that function autonomously, we will need to engineer artificial tissue homeostasis. To control the size of these artificial tissues, two major mechanisms will have to be engineered.

Leads

Research Areas

Impact 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

Spoken Language Systems Group

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

Impact Areas

Project

AWE-CM Vectors: Augmenting Word Embeddings with a Clinical Metathesaurus

Adding domain knowledge to word embeddings.

Peter Szolovits

Leads

Peter Szolovits

Research Areas

Impact Areas

Peter Szolovits

Project

Cardiac MRI analysis

We develop image analysis algorithms for whole-heart cardiac MRI in patients with severe congenital heart disease.

Polina Golland

Leads

Polina Golland

Research Areas

Impact Areas

Polina Golland

Project

Chest X-Ray Analysis

We develop machine learning algorithms to automatically quantify the severity of pulmonary edema from chest x-rays.

Polina Golland

Leads

Polina Golland

Research Areas

Impact Areas

Polina Golland

Project

Clinical Intervention Prediction with Neural Networks

Integrating multi-modal clinical data and using recurrent and convolution neural networks to predict when patients will need important interventions.

Leads

Research Areas

Impact Areas

Project

Clinical Neuroimaging

We develop novel algorithms for neuroimage segmentation, registration, and joint modeling of brain structure with clinical and genetic data.

Polina Golland

Leads

Polina Golland

Research Areas

Impact Areas

Polina Golland

Project

Clinical Note Representations That Predict ICU Mortality/Re-Admission

Our focus is on improving health-related outcomes by creating machine learning models that improve human risks.

Peter Szolovits

Leads

Peter Szolovits

Research Areas

Impact Areas

Peter Szolovits

Project

Data Civilizer

Database Group

Data scientists universally report that they spend at least 80% of their time finding data sets of interest, accessing them, cleaning them and assembling them into a unified whole.

Michael Stonebraker

Sam Madden

Leads

Michael Stonebraker

Sam Madden

Research Areas

Impact Areas

Cryptography and Information Security Group

Michael Stonebraker

Sam Madden

Project

Data Garbling: Computing on Encrypted Data

Theory of Computation Group

We are investigating the limits of computing on encrypted data, with a focus on the private outsourcing of computation over sensitive data.

Leads

Research Areas

Impact Areas

Advanced Network Architecture Group

Project

Denial of Service Mitigation through Protocol Design

We aim to better understand the features of network protocols that facilitate denial of service attacks, in order to design more robust protocols and architectures in the future and evaluate existing designs more accurately.

Karen Sollins

Leads

Karen Sollins

Research Areas

Impact Areas

Karen Sollins

Project

Detecting Voice Misuse to Diagnose Disorders

Our team uses accelerometers and machine learning to help detect vocal disorders. We capture data about the motions of patient's vocal folds to determine if their vocal behavior is normal or abnormal.

John Guttag

Leads

John Guttag

Research Areas

Impact Areas

John Guttag

Project

Drug Target Identification Via Computational Modeling

Tidor Lab

We use computational models of biological pathways in disease to estimate the range of possible responses to various hypothetical drugs, given patient variability and limited pathway-relevant data.

David Flowers

Leads

David Flowers

Research Areas

Impact Areas

David Flowers

Project

EQ-Radio: Emotion Recognition using Wireless Signals

Networks at MIT

EQ-Radio can infer a person’s emotions using wireless signals. It transmits an RF signal and analyzes its reflections off a person’s body to recognize his emotional state (happy, sad, etc.).

Dina Katabi

Leads

Dina Katabi

Research Areas

Impact Areas

Entertainment

Weiss Laboratory for Synthetic Biology

Internet of Things

Dina Katabi

Project

Flexible cellular platforms for reconfigurable biocircuits

Existing methods for cloning and recombination of DNA enable construction of arbitrary sequences. However, the sequential nature of these techniques makes them time-consuming and expensive. Furthermore, while the transformation of an existing plasmid into a host strain can be reliable when a selection marker is used, there are many current limitations: the number of different plasmids that can be co-transformed is limited by the choice of markers and compatible origins of replication; plasmids are less stable than chromosomal DNA and are difficult to maintain indefinitely without mutation; and cistronic interactions cannot be designed since each new nucleotide sequence added is on an unconnected DNA molecule. To overcome these limitations, we are designing reconfigurable chromosomes consisting of both fixed and variable regions. While the fixed region is carefully optimized and tuned ahead of time, the variable region can be modified in the field, at the point-of-use, leading to rapid and on-demand realization of novel biocircuits with many different phenotypes.

Ron Weiss

Leads

Ron Weiss

Research Areas

Impact Areas

Anyscale Learning for All ALFA

Ron Weiss

Project

GIGABEATS: Data science for medical sensor data

Our goal is to help medical researchers and clincians understand the growing repositories of waveform and signal data collected from critically ill patients.

Una-May O'Reilly

Leads

Una-May O'Reilly

Research Areas

Impact Areas

Spoken Language Systems Group

Una-May O'Reilly

Project

Health-related Biomarkers from Speech

From audio recordings of clinician-subject interactions, we determine the spoken language bio-markers that are associated with health outcomes, such as dementia and depression.

Leads

Research Areas

Impact Areas

Data-Driven Inference Group

Project

Hidden Influencers, Risk and Causes of Infection

We aim to study the causes and transmission modes of infectious diseases among members of a community in the presence of hidden, asymptomatic spreaders of the pathogen.

Maggie Makar

John Guttag

Leads

Maggie Makar

John Guttag

Research Areas

Impact Areas

Interactive Robotics Group

Maggie Makar

John Guttag

Project

Human-Robot Collaboration in Shared Workspace

Models and algorithms to predict in real time the next actions of a human working together with a robot

Claudia Perez D'Arpino

Leads

Claudia Perez D'Arpino

Research Areas

Impact Areas

Claudia Perez D'Arpino

77 People Results

Mazdak Abulnaga

Graduate Student

medical vision

E abulnaga@mit.edu

Member

Monitoring Fetal Health

medical vision

PI
Core/Dual

Ted Adelson

Professor

Vision, touch sensing, robotics

E adelson@csail.mit.edu

T 253-0645

Lead

Simit: A Language for Computing on Sparse Systems

Blood Pressure Imager

Member

Computer Graphics Group

Vision, touch sensing, robotics

Monica Agrawal

Graduate Student

E magrawal@mit.edu

Leandro Agudelo

Postdoctoral Associate

Computational Biology, Integrative Systems Biology

E lagudelo@csail.mit.edu

Computational Biology, Integrative Systems Biology

PI
Core/Dual

Saman Amarasinghe

Professor

Compilers, architectures, software engineering

E saman@csail.mit.edu

T 253-8879

Lead

Commit Group

Tiramisu Compiler

Member

Taco: The Tensor Algebra Compiler

Halide

OpenTuner: An Extensible Framework for Program Autotuning

Program Performance Prediction with Deep Learning

Compilers, architectures, software engineering

Mercy Asiedu

Postdoctoral Fellow

E mnasiedu@csail.mit.edu

PI
Core/Dual

Regina Barzilay

Professor

Natural language processing, machine learning

E regina@csail.mit.edu

T 258-5706

Lead

Natural Language Processing Group

Aspect-Augmented Adversarial Networks for Domain Adaptation

Member

Aspect-Augmented Adversarial Networks for Domain Adaptation

Natural language processing, machine learning

Jonathan Behrens

Graduate Student

E behrensj@mit.edu

RM 32-G978B

Member

Noria: a new data-flow system for web applications

Parallel and Distributed Operating Systems

PI
Core/Dual

Bonnie Berger

Professor

Computational biology, genomics

E bab@csail.mit.edu

T 253-1827

Lead

Theory of Computation Group

Covering All K-mers Using Joker Characters

Towards Context-Aware Functional Genomics

Metagenomic Binning Through Low-Density Hashing

Computation and Biology

Member

Computation Structures Group

Computational biology, genomics

PI
Core/Dual

Tim Berners-Lee

Professor

Systems, privacy, inventor of the World Wide Web

E timbl@w3.org

T 253-5702

Lead

World Wide Web Consortium

Solid: Social Linked Data

Systems, privacy, inventor of the World Wide Web

William Boag

Graduate Student

Clinical NLP

E wboag@mit.edu

Lead

Synthetically-Identified Clinical Notes

Information Retrieval for Cancer Treatments in Clinical Literature and Trial Eligibility

CliNER: Clinical Concept Extraction

Quantifying Racial Disparities in End-of-Life Care

Member

AWE-CM Vectors: Augmenting Word Embeddings with a Clinical Metathesaurus

Programming Systems Group

Clinical NLP

PI
Core/Dual

Michael Carbin

Assistant Professor

Programming languages and systems.

E mcarbin@csail.mit.edu

T 253-5881

Lead

Member

Programming with spaces

Program Performance Prediction with Deep Learning

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

Geeticka Chauhan

Graduate Student

E geeticka@mit.edu

Member

Using Clinical Domain Knowledge for Processing Physiological Data

Clinical Machine Learning Group

Irene Chen

Graduate Student

Machine learning, healthcare, fairness

E iychen@mit.edu

Member

Machine Learning

Machine learning, healthcare, fairness

Lillian Chin

Graduate Student

E ltchin@mit.edu

Lead

Sensorized Soft Electric Hands with Handed Shearing Auxetics

Member

Distributed Robotics Laboratory

PI
Core/Dual

Adam Chlipala

Associate Professor

Programming languages, formal methods, security & privacy, systems

E adamc@csail.mit.edu

T 324-8439

Lead

Kami: A Modular Deductive Hardware Verification Platform

Compilation Using Correct-by-Construction Program Synthesis

Programming Languages & Verification

Formal Synthesis of Distributed System 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

Yu-An Chung

Graduate Student

Speech and language processing, machine learning

E andyyuan@mit.edu

Lead

Unsupervised Speech Processing

Member

Spoken Language Systems Group

Speech and language processing, machine learning

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

Adrian Dalca

Research Affiliate

E adalca@csail.mit.edu

Member