Research

Research Areas
Impact Areas

Filter options

3 News Results matching all criteria

Barbara Liskov 2

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

mit pharma

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

Privacy and genomic studies1

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

20 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

AI & Machine Learning

Security & Cryptography

Impact Areas

Lead

Una-May O'Reilly

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

AI & Machine Learning

Computational Biology

Impact Areas

Lead

Tomaso Poggio

Tomaso Poggio

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

AI & Machine Learning

Graphics & Vision

Human-Computer Interaction

Programming Languages & Software Engineering

Security & Cryptography

Impact Areas

Lead

Aleksander Madry

Aleksander Madry

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

AI & Machine Learning

Computational Biology

Impact Areas

Lead

Peter Szolovits

Peter Szolovits

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.

+1

Bonnie Berger

Leads

Bonnie Berger

Research Areas

Algorithms & Theory

Computational Biology

Impact Areas

Lead

Bonnie Berger

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.

+23

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

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

Computational Biology

Impact Areas

Lead

Manolis Kellis

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

AI & Machine Learning

Computational Biology

Impact Areas

Lead

Joshua Tenenbaum

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

Algorithms & Theory

Computational Biology

Impact Areas

Lead

Nir Shavit

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.

+2

Dave Gifford

Leads

Dave Gifford

Research Areas

AI & Machine Learning

Computational Biology

Impact Areas

Lead

Dave Gifford

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

AI & Machine Learning

Computational Biology

Impact Areas

Lead

Aude Oliva

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

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.

+16

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 Center

Internet Policy Research Initiative

Our mission is to work with policy makers and cybersecurity technologists to increase the trustworthiness and effectiveness of interconnected digital systems.

+3

Leads

Daniel Weitzner

Hal Abelson

David Clark

Lalana Kagal

Karen Sollins

Gerald Sussman

Research Areas

AI & Machine Learning

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

Lecturers

Lecturers in CSAIL

Leads

Research Areas

Algorithms & Theory

AI & Machine Learning

Security & Cryptography

Systems & Networking

Impact Areas

Research Group

Medical Vision Group

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

+10

Polina Golland

Leads

Polina Golland

Research Areas

AI & Machine Learning

Computational Biology

Graphics & Vision

Impact Areas

Lead

Polina Golland

Polina Golland

Research Group

Software Design Group

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

+3

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Human-Computer Interaction

Programming Languages & Software Engineering

Security & Cryptography

Impact Areas

Lead

Daniel Jackson

Daniel Jackson

Research Group

Tidor Lab

We focus on the analysis of complex biological systems at both the molecular level and the systems level.

Bruce Tidor

Leads

Bruce Tidor

Research Areas

Computational Biology

Systems & Networking

Impact Areas

Lead

Bruce Tidor

Bruce Tidor

Research Group

Weiss Laboratory for Synthetic Biology

The Weiss Lab seeks to create integrated biological systems capable of autonomously performing useful tasks, and to elucidate the design principles underlying complex phenotypes.

Ron Weiss

Leads

Ron Weiss

Research Areas

Computational Biology

Systems & Networking

Impact Areas

Lead

Ron Weiss

Ron Weiss

46 Project Results

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

Adversarial Cyber Security

Anyscale Learning for All ALFA

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

AI & Machine Learning

Security & Cryptography

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. 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 tissue homeostasis

Weiss Laboratory for Synthetic Biology

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

AI & Machine Learning

Computational Biology

Impact Areas

Project

Automated Attack Tree Generation for Critical Infrastructure

Model-Based Embedded and Robotics Systems Group

Using AI methods, we are developing an attack tree generator that automatically enumerates cyberattack vectors for industrial control systems in critical infrastructure (electric grids, water networks and transportation systems). The generator can quickly assess cyber risk for a system at scale.

Howard Shrobe

Leads

Howard Shrobe

Research Areas

Security & Cryptography

Impact Areas

Howard Shrobe

Project

Basing Cryptography on Structured Hardness

Cryptography and Information Security Group

Theory of Computation Group

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

Blood Pressure Imager

Development of affordable wearable continuous blood pressure monitor based on radial arterial pulse imaged from the skin surface of human wrist

Mumin Jin

Aya G. Halawi

Jianhua Li

Leads

Abhijit Biswas

Ted Adelson

Mandayam A. Srinivasan

Mohan Thanikachalam

Research Areas

Computational Biology

Graphics & Vision

Mumin Jin

Aya G. Halawi

Jianhua Li

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

AI & Machine Learning

Computational Biology

Impact Areas

Project

Covering All K-mers Using Joker Characters

Computation and Biology

Theory of Computation Group

We developed a new algorithm to generate compact sequence sets covering all k-mers using joker characters.

Bonnie Berger

Leads

Bonnie Berger

Research Areas

Computational Biology

Bonnie Berger

Project

Data Civilizer

Data Systems 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

Programming Languages & Software Engineering

Security & Cryptography

Systems & Networking

Impact Areas

Michael Stonebraker

Sam Madden

Project

Data Garbling: Computing on Encrypted Data

Cryptography and Information Security Group

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

Algorithms & Theory

Security & Cryptography

Impact Areas

Project

Database Design

Data Systems Group

The conventional wisdom described in all text books for performing database design is never followed in practice.

Michael Stonebraker

Leads

Michael Stonebraker

Research Areas

Systems & Networking

Security & Cryptography

Impact Areas

Michael Stonebraker

Project

Denial of Service Mitigation through Protocol Design

Advanced Network Architecture Group

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

Security & Cryptography

Systems & Networking

Impact Areas

Karen Sollins

Project

Drug Target Identification Via Computational Modeling

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.

Leads

Research Areas

Computational Biology

Impact Areas

Project

Fast & Accurate Alignment of Barcoded Short Reads

This project aims to develop an improved alignment algorithm for barcoded short reads as produced by 10X Genomics' sequencing platform.

Leads

Research Areas

Computational Biology

Project

Flexible cellular platforms for reconfigurable biocircuits

Weiss Laboratory for Synthetic Biology

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

Computational Biology

Impact Areas

Ron Weiss

Project

Genome Wide Association and Pharamcokinetics of Statin Therapies

We study genetic predictors of statin metabolism, efficacy, and tolerability in a post-cardiac event population.

Leads

Research Areas

Computational Biology

Project

Keeping America Safe: Toward More Secure Networks for Critical Sectors

Internet Policy Research Initiative

Report warns of hacking risk to electric grid, oil pipelines, and other critical infrastructure

Joel Brenner

Leads

Joel Brenner

Research Areas

Security & Cryptography

Impact Areas

Joel Brenner

Project

Keys Under Doormats

Internet Policy Research Initiative

Our report argues that giving the government special access to data poses major security risks

Daniel Weitzner

Leads

Daniel Weitzner

Research Areas

Security & Cryptography

Impact Areas

Daniel Weitzner

Project

Learning Representations for Biomolecular Interaction Prediction

Deep neural networks are applied to predicting protein-ligand binding affinity by learning representations of atoms, atomic interactions, and inter-molecular interfaces.

Leads

Research Areas

Computational Biology

Project

Metagenomic Binning Through Low-Density Hashing

Our goal is to develop better metagenomic binning by origin species of fragments of sequenced environmental DNA.

Bonnie Berger

Leads

Bonnie Berger

Research Areas

Computational Biology

Impact Areas

Bonnie Berger

Project

Modeling of Targeted Liposomal Doxorubicin Dynamics

Our goal is to develop a model for the binding, internalization, and tumor-killing dynamics of liposome-enclosed doxorubicin targeted to cancer cells and develop design principles for creating more effective therapeutics.

Rui Lopes

Leads

Research Areas

Computational Biology

Rui Lopes

Project

Poirot: Secure Protocol Implementation by Design

Software Design Group

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

Security & Cryptography

Impact Areas

Daniel Jackson

Project

Population-level Tumor Growth Inhibition Modeling

We develop, parameterize, and validate a model for tumor growth inhibition using in vivo mouse data and study the effects of modeling uncertainty and inter-individual variability on drug candidate efficacy predictions.

Leads

Research Areas

Computational Biology

Impact Areas

34 People Results

Leandro Agudelo

Research Scientist

Computational Biology, Integrative Systems Biology

E lagudelo@csail.mit.edu

Computational Biology, Integrative Systems Biology

Anish Athalye

Graduate Student

PhD student in PDOS

E aathalye@mit.edu

RM 32-G978A

PhD student in PDOS

PI
Core/Dual

Bonnie Berger

Professor

Computational biology, genomics

E bab@csail.mit.edu

T 253-1827

RM

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

Brandon Carter

Research Specialist

E bcarter@csail.mit.edu

RM

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

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

RM

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

Costis Daskalakis

Associate Professor

Theory, algorithms, economics, game theory

E costis@csail.mit.edu

T 253-9643

RM

Lead

Theory of Computation Group

Is the Casino using a Riffle Shuffle?

Understanding Convergence of Iterative Algorithms

Member

Center for Deployable Machine Learning (CDML)

Theory, algorithms, economics, game theory

Azim Dehghani Amirabad

Postdoctoral Associate

Machine learning, Bioinformatics

E azimd@csail.mit.edu

Machine learning, Bioinformatics

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

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

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.

PI
Core/Dual

John Guttag

Professor

Machine learning, medicine, data-driven inference

E guttag@csail.mit.edu

T 253-6022

RM

Lead

Data-Driven Inference Group

Hidden Influencers, Risk and Causes of Infection

Predicting Adverse Events Across Changing Electronic Health Record Systems

Machine Learning for Insights in Basketball Strategy

Detecting Voice Misuse to Diagnose Disorders

Machine learning, medicine, data-driven inference

PI
Core/Dual

Frans Kaashoek

Professor

Systems, networks, architectures

E kaashoek@csail.mit.edu

T 253-7149

RM

Lead

Parallel and Distributed Operating Systems

Scaling Filesystems To Many Cores

Member

Noria: a new data-flow system for web applications

Computation Structures Group

FSCQ: File-system verification

Systems, networks, architectures

Konstantin Krismer

Graduate Student

E krismer@mit.edu

RM

Member

Computational Genomics Group

David Lazar

Graduate Student

David Lazar is a PhD student in systems security

E lazard@mit.edu

Lead

Vuvuzela: Metadata private messaging

Member

Parallel and Distributed Operating Systems

David Lazar is a PhD student in systems security

Ilia Lebedev

Graduate Student

E ilebedev@csail.mit.edu

RM

Lead

Sanctum Secure Processor

Member

Computation Structures Group

Sanctum Secure Processor

William Moses

Graduate Student

E wmoses@mit.edu

RM

Member

Supertech Research Group

Vaikkunth Mugunthan

Graduate Student

Privacy and Big Data

E vaik@mit.edu

RM

Lead

PrivacyML - A Privacy Preserving Framework for Machine Learning

Member

Decentralized Information Group

Privacy and Big 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

RM

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

Martin Rinard

Professor

Systems, programming languages and verification

E rinard@csail.mit.edu

T 258-6922

RM

Member

Computation Structures Group

Center for Deployable Machine Learning (CDML)

Systems, programming languages and verification

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

Theory of Computation Group

Member

Keys Under Doormats

Cryptography, cybersecurity, RSA public-key encryption

PI
Core/Dual

Ruth Rosenholtz

Principal Research Scientist

Vision, predictive models, image compression, user interfaces

E rruth@csail.mit.edu

T 324-0269

RM

Lead

Vision, predictive models, image compression, user interfaces

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

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

Eloi Schmauch

Visiting Student

MD-PhD Student, in second year of Master's degree of bioinformatics

E schmauch@csail.mit.edu

RM

MD-PhD Student, in second year of Master's degree of bioinformatics

32 News Results

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

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

Joshua Tenenbaum

Computational Biology

September 25 '19

Josh Tenenbaum receives 2019 MacArthur Fellowship

Brain and cognitive sciences professor studies how the human mind is able to learn so rapidly.

Josh Tenenbaum receives 2019 MacArthur Fellowship

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

Barbara Liskov 2

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

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

costis d

Algorithms & Theory Computational Biology

May 08 '19

CSAIL's Daskalakis wins ACM Grace Murray Hopper Award

Constantinos (“Costis”) Daskalakis, an MIT professor and CSAIL principal investigator, has won the 2018 ACM Grace Murray Hopper Award.

CSAIL's Daskalakis wins ACM Grace Murray Hopper Award

regina ai

AI & Machine Learning Computational Biology Health Care

May 07 '19

Using AI to predict breast cancer and personalize care

Image-based AI model can predict breast cancer years in advance

Using AI to predict breast cancer and personalize care

Bio2

Computational Biology Health Care

May 06 '19

Merging cell datasets, panorama style

Algorithm stitches multiple datasets into a single “panorama,” which could provide new insights for medical and biological studies.

Merging cell datasets, panorama style

protein

Algorithms & Theory Computational Biology Health Care

March 26 '19

Model learns how individual amino acids determine protein function

Technique could improve machine-learning tasks in protein design, drug testing, and other applications.

Model learns how individual amino acids determine protein function

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 & Machine Learning 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

Ai policy congress 1

AI & Machine Learning Security & Cryptography

February 01 '19

AI, the law, and our future

MIT “Policy Congress” examines the complex terrain of artificial intelligence regulation.

AI, the law, and our future

Ai policy congress 3

Security & Cryptography

February 01 '19

AI Policy Congress – Part 1 Governance Challenges

On January 15, 2019, the MIT Internet Policy Research Initiative (IPRI) and Quest for Intelligence (QI) hosted the first MIT AI Policy Congress. The conference brought together global policymakers, technical experts, and industry executives to discuss the impact of AI across sectors, with panels on transportation and safety, manufacturing and labor, healthcare, criminal justice and fairness, national security and defense, and international perspectives.

AI Policy Congress – Part 1 Governance Challenges

Thomas Bourgeat, Andrew Wright, Arvind and Sizhou Zhang

Computer Architecture Security & Cryptography Cybersecurity Energy

October 22 '18

Opening up open-source to design better chips

MIT CSAIL system lets users change one part of a processor’s design without impacting the others

Opening up open-source to design better chips

mit pharma

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

RB1

AI & Machine Learning Computational Biology Health Care

October 04 '18

Regina Barzilay joins leadership of new effort on machine learning in health

MacArthur “geniuses” in machine learning and synthetic biology to serve as faculty co-leads; Nobel laureate to chair advisory board of new research center.

Regina Barzilay joins leadership of new effort on machine learning in health

Dani & Shafi

Algorithms & Theory Security & Cryptography Cybersecurity

August 08 '18

Holding law-enforcement accountable for electronic surveillance

CSAIL system encourages government transparency using cryptography on a public log of wiretap requests.

Holding law-enforcement accountable for electronic surveillance

Silvio Micali 2

AI & Machine Learning Security & Cryptography

July 26 '18

CSAIL launches new initiative for financial technology

FinTech@CSAIL industry collaboration will work to improve business models, access to data, and security in the finance sector.

CSAIL launches new initiative for financial technology

Eye movement

Computational Biology Health Care

May 22 '18

Gauging language proficiency through eye movement

Study tracks eye movement to determine how well people understand English as a foreign language.

Gauging language proficiency through eye movement

Privacy and genomic studies1

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

gtown law2

Security & Cryptography Cybersecurity

April 24 '18

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

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

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

DW2

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

mit private browsing part 2

Security & Cryptography Cybersecurity

February 23 '18

Private browsing gets more private

New system patches security holes left open by web browsers’ private-browsing functions.

Private browsing gets more private