Research

Research Areas
Impact Areas

Filter options

1 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

23 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.

+2

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

Computer Graphics Group

Our group focuses on synthetic image generation and computational photography.

+15

Leads

Fredo Durand

William Freeman

Wojciech Matusik

Justin Solomon

Research Areas

Graphics & Vision

Impact Areas

Lead

Fredo Durand

William Freeman

Wojciech Matusik

Justin Solomon

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 Group

Geometric Data Processing Group

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

+2

Justin Solomon

Leads

Justin Solomon

Research Areas

Algorithms & Theory

AI & Machine Learning

Graphics & Vision

Impact Areas

Lead

Justin Solomon

Justin Solomon

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

Sensing, Learning and Inference

We focus on the analysis of complex, high-dimensional data.

+1

John Fisher

Leads

John Fisher

Research Areas

Graphics & Vision

AI & Machine Learning

Impact Areas

Internet of Things

Lead

John Fisher

John Fisher

Research Group

Software Design Group

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

+4

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

Vision Group

Our researchers create state-of-the-art systems to better recognize objects, people, scenes, behaviors and more, with applications in health-care, gaming, tagging systems and more.

Leads

Ted Adelson

Fredo Durand

John Fisher

William Freeman

Polina Golland

Eric Grimson

Berthold Horn

Aude Oliva

Ruth Rosenholtz

Antonio Torralba

Research Areas

AI & Machine Learning

Graphics & Vision

Impact Areas

Lead

Ted Adelson

Fredo Durand

John Fisher

William Freeman

Polina Golland

Eric Grimson

Berthold Horn

Aude Oliva

Ruth Rosenholtz

Antonio Torralba

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

93 Project Results

Project

3D Generative Adversarial Networks

We study the problem of 3D object generation. We propose a novel framework, 3D Generative Adversarial Network (3D-GAN), leveraging recent advances in volumetric convolutional networks and generative adversarial nets.

Leads

Research Areas

AI & Machine Learning

Graphics & Vision

Impact Areas

Project

A Counterfactual Simulation Model of Causal Judgment

Computational Cognitive Science Group

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

Graphics & Vision

Impact Areas

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

AIRvatar System: A Framework for Analyzing Virtual Identities

Imagination, Computation, and Expression Laboratory (ICE Lab)

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

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

Analyzing Player Profile Data

Developing new methods for analyzing large quantities of player profile data, such as hundreds of thousands of profile images or chat logs.

D. Fox Harrell

Peter Mawhorter

Leads

D. Fox Harrell

Peter Mawhorter

Research Areas

Graphics & Vision

D. Fox Harrell

Peter Mawhorter

Project

Artificial Co-driver

Computer Graphics Group

By observing driver in real road situations, we learn a computer assistant that can make driving easier, safer and more enjoyable.

Leads

Research Areas

Graphics & Vision

Impact Areas

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

Boundary Element Method for Shape Analysis and Geometry Processing

Geometric Data Processing Group

We are working on methods to analyze and process 3D shapes from representations of their boundaries; we focus on extrinsic geometry, that is, how the surface curves and bends through surrounding space.

Mirela Ben-Chen

Iosif Polterovich

Yu Wang

Justin Solomon

Leads

Yu Wang

Justin Solomon

Research Areas

Graphics & Vision

Mirela Ben-Chen

Iosif Polterovich

Yu Wang

Justin Solomon

Project

Cardiac MRI analysis

Medical Vision Group

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

Polina Golland

Leads

Polina Golland

Research Areas

AI & Machine Learning

Graphics & Vision

Impact Areas

Polina Golland

Project

Characterizing the Sensitivity of Vision-in-the-Loop Driving Controllers Using CG

Computer Graphics Group

We work on understanding and improving vision algorithms used for self driving cars, by introducing synthetic data-sets to the loop.

Leads

Research Areas

Graphics & Vision

Impact Areas

Project

Chest X-Ray Analysis

Medical Vision Group

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

Polina Golland

Leads

Polina Golland

Research Areas

AI & Machine Learning

Graphics & Vision

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

AI & Machine Learning

Computational Biology

Impact Areas

Project

Clinical Neuroimaging

Medical Vision Group

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

+2

Polina Golland

Leads

Polina Golland

Research Areas

AI & Machine Learning

Graphics & Vision

Impact Areas

Polina Golland

Project

Computational Bounce Flash for Indoor Portraits

Computer Graphics Group

To achieve high-quality photo lighting in challenging environments, our prototype camera dynamically reconstructs a 3D scene model and directs a motor-controlled flash head at nearby walls and ceilings for soft indirect illumination.

Lukas Murmann

Leads

Lukas Murmann

Research Areas

Graphics & Vision

Impact Areas

Lukas Murmann

Project

Computational Knitting: Patterning and Shaping for Everyone

Computational 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

Computational Multicopter Design

Computer Graphics Group

A system that can help you to design our own drone!

Tao Du

Leads

Tao Du

Research Areas

Graphics & Vision

Impact Areas

Tao Du

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

Crowdsourcing in Graphics and Vision

Computational Fabrication Group

Our goal is to develop new applications and algorithms that leverage the skills of distributed crowdworkers, notably for image and video processing applications.

Alexandre Kaspar

Leads

Alexandre Kaspar

Research Areas

Graphics & Vision

Human-Computer Interaction

Impact Areas

Alexandre Kaspar

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

67 People Results

Mazdak Abulnaga

Graduate Student

medical vision

E abulnaga@mit.edu

RM

Member

Monitoring Fetal Health

Medical Vision Group

medical vision

PI
Core/Dual

Ted Adelson

Professor

Vision, touch sensing, robotics

E adelson@csail.mit.edu

T 253-0645

RM

Lead

Blood Pressure Imager

Member

Computer Graphics Group

Vision, touch sensing, robotics

Leandro Agudelo

Postdoctoral Associate

Computational Biology, Integrative Systems Biology

E lagudelo@csail.mit.edu

RM

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

Regina Barzilay

Professor

Natural language processing, machine learning

E regina@csail.mit.edu

T 258-5706

RM

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

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

Yu-An Chung

Graduate Student

Speech and language processing, machine learning

E andyyuan@mit.edu

RM

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

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

Adrian Dalca

Research Affiliate

E adalca@csail.mit.edu

RM

Member

Medical Vision Group

Clinical Neuroimaging

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

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

Mustafa Doga Dogan

Graduate Student

E doga@mit.edu

RM

Member

HCI Engineering Group

Tao Du

Graduate Student

CS PhD student

E taodu@csail.mit.edu

RM

Lead

Computational Multicopter Design

Member

Computer Graphics Group

CS PhD student

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

Vision, graphics, computational photography

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.

Rongyao Fang

Visiting Student

E rongyao@csail.mit.edu

PI
Core/Dual

William Freeman

Professor

Vision, machine learning, Bayesian modeling

E billf@csail.mit.edu

T 253-8828

RM

Lead

Computer Graphics Group

Member

Single-Image 3D Interpreter Network

Visual Dynamics: Probabilistic Future Frame Synthesis via Cross Convolutional Networks

Learning the Arrow of Time from Videos

3D Generative Adversarial Networks

Computer Graphics Group

Vision, machine learning, Bayesian modeling

PI
Core/Dual

Polina Golland

Professor

Vision, medical imaging, statistical inference

E polina@csail.mit.edu

T 253-8005

RM

Lead

Medical Vision Group

Monitoring Fetal Health

Cardiac MRI analysis

Clinical Neuroimaging

Chest X-Ray Analysis

Vision, medical imaging, statistical inference

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

David Harwath

Research Scientist

E dharwath@csail.MIT.EDU

RM

Lead

Crossing the Vision-Language Boundary

Automatic Speech Recognition

Unsupervised Speech Processing

Member

Spoken Language Systems Group

PI
Core/Dual

Berthold Horn

Professor

Vision, computational imaging

E bkph@csail.mit.edu

T 253-5863

RM

Lead

Driver-Friendly Bilateral Control for Suppressing Traffic Instabilities

Vision, computational imaging

53 News Results

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

Turtle classifer

Algorithms & Theory AI & Machine Learning Graphics & Vision

August 22 '19

Why did my classifier just mistake a turtle for a rifle?

Two longtime friends explore how computer vision systems go awry.

Why did my classifier just mistake a turtle for a rifle?

knitting

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

Actuator 2

Algorithms & Theory Graphics & Vision Robotics Manufacturing

July 22 '19

Automated system generates robotic parts for novel tasks

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

Automated system generates robotic parts for novel tasks

Barbara Liskov 2

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

Yunzhu Li 2

AI & Machine Learning Graphics & Vision Systems & Networking Health Care Manufacturing

June 18 '19

Teaching artificial intelligence to connect senses like vision and touch

MIT CSAIL system can learn to see by touching and feel by seeing, suggesting future where robots can more easily grasp and recognize objects.

Teaching artificial intelligence to connect senses like vision and touch

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

3-d shapes 1

Algorithms & Theory AI & Machine Learning Graphics & Vision Energy Entertainment Manufacturing

December 10 '18

Teaching machines to see in 3-D

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

Teaching machines to see in 3-D

ted adelson

Graphics & Vision

December 03 '18

MIT Professor Ted Adelson named IEEE Fellow

MIT Professor Ted Adelson named IEEE Fellow

MIT Professor Ted Adelson named IEEE Fellow

high res model

Algorithms & Theory Graphics & Vision Systems & Networking Health Care

November 29 '18

Higher-res models for creating structures with complex features

Computer scientists often develop mathematical models to understand how animals move, enabling breakthroughs in designing things like microrobotic wings and artificial bone structures.

Higher-res models for creating structures with complex features

Machines that learn language more like kids do 2

AI & Machine Learning Graphics & Vision Robotics

October 31 '18

Machines that learn language more like kids do

Computer model could improve human-machine interaction, provide insight into how children learn language.

Machines that learn language more like kids do

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