Research

Impact Areas
Research Areas

Filter options

1 News Results matching all criteria

Barbara Liskov 2

Algorithms & Theory AI & ML Computational Biology Computer Architecture Graphics & Vision Human-Computer Interaction Programming Languages & Software Engineering Robotics Security & Cryptography Systems & Networking Cybersecurity Education Energy Entertainment Health Care Manufacturing Transportation Wireless

June 27 '19

CSAIL hosts first-ever TEDxMIT

Speakers — all women — discuss everything from gravitational waves to robot nurses

CSAIL hosts first-ever TEDxMIT

46 Group Results

Research Group

Algorithms Group

We devise new mathematical tools to tackle the increasing difficulty and importance of problems we pose to computers.

Leads

Costis Daskalakis

Erik Demaine

Michael Goemans

Piotr Indyk

David Karger

Jonathan Kelner

Tom Leighton

Charles E. Leiserson

Aleksander Madry

Ankur Moitra

Ronitt Rubinfeld

Nir Shavit

Ryan Williams

Virginia Vassilevska Williams

Research Areas

Algorithms & Theory

Impact Areas

Lead

Costis Daskalakis

Erik Demaine

Michael Goemans

Piotr Indyk

David Karger

Jonathan Kelner

Tom Leighton

Charles E. Leiserson

Aleksander Madry

Ankur Moitra

Ronitt Rubinfeld

Nir Shavit

Ryan Williams

Virginia Vassilevska Williams

Research Group

Applied Computing Group

We design software for high performance computing, develop algorithms for numerical linear algebra, and research random matrix theory and its applications.

Leads

Research Areas

Algorithms & Theory

Impact Areas

Community of Research

Applied Machine Learning Community of Research

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

+6

Una-May O'Reilly

Leads

Una-May O'Reilly

Research Areas

Computational Biology

Programming Languages & Software Engineering

Impact Areas

Lead

Una-May O'Reilly

Una-May O'Reilly

Research Group

Broderick Lab

We work in the areas of statistics and machine learning.

Tamara Broderick

Leads

Tamara Broderick

Research Areas

Algorithms & Theory

Impact Areas

Lead

Tamara Broderick

Tamara Broderick

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

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

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

Computational Biology

Impact Areas

Lead

Peter Szolovits

Peter Szolovits

Research Group

Commit Group

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

Saman Amarasinghe

Leads

Saman Amarasinghe

Research Areas

Computer Architecture

Programming Languages & Software Engineering

Impact Areas

Lead

Saman Amarasinghe

Saman Amarasinghe

Research Group

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

Algorithms & Theory

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

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.

+21

Leads

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

Research Areas

Computer Architecture

Programming Languages & Software Engineering

Security & Cryptography

Systems & Networking

Impact Areas

Lead

Srini Devadas

Daniel Sanchez

Armando Solar-Lezama

Arvind

Research Group

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

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.

Dave Gifford

Leads

Dave Gifford

Research Areas

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

Computational Biology

Impact Areas

Lead

Aude Oliva

Aude Oliva

Research Group

Computer-Aided Programming

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

Armando Solar-Lezama

Leads

Armando Solar-Lezama

Research Areas

Programming Languages & Software Engineering

Impact Areas

Lead

Armando Solar-Lezama

Armando Solar-Lezama

Community of Research

Computing & Society Community of Research

This community is interested in understanding and affecting the interaction between computing systems and society through engineering, computer science and public policy research, education, and public engagement.

+8

Daniel Weitzner

Leads

Daniel Weitzner

Research Areas

Algorithms & Theory

Human-Computer Interaction

Security & Cryptography

Systems & Networking

Impact Areas

Internet of Things

Lead

Daniel Weitzner

Daniel Weitzner

Research Group

Cryptography and Information Security Group

We seek to develop techniques for securing tomorrow's global information infrastructure by exploring theoretical foundations, near-term practical applications, and long-range speculative research.

Leads

Shafi Goldwasser

Silvio Micali

Ronald Rivest

Vinod Vaikuntanathan

Butler Lampson

Research Areas

Algorithms & Theory

Security & Cryptography

Impact Areas

Lead

Shafi Goldwasser

Silvio Micali

Ronald Rivest

Vinod Vaikuntanathan

Butler Lampson

Research Group

Data Systems Group

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

+15

Leads

Sam Madden

Michael Stonebraker

Tim Kraska

Research Areas

Programming Languages & Software Engineering

Security & Cryptography

Systems & Networking

Impact Areas

Lead

Sam Madden

Michael Stonebraker

Tim Kraska

Research Group

Decentralized Information Group

We are investigating decentralized technologies that affect social change.

+5

Lalana Kagal

Tim Berners-Lee

Leads

Lalana Kagal

Tim Berners-Lee

Research Areas

Algorithms & Theory

Programming Languages & Software Engineering

Systems & Networking

Impact Areas

Internet of Things

Lead

Lalana Kagal

Tim Berners-Lee

Lalana Kagal

Tim Berners-Lee

Research Group

Geometric Data Processing Group

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

+6

Justin Solomon

Leads

Justin Solomon

Research Areas

Algorithms & Theory

Graphics & Vision

Impact Areas

Lead

Justin Solomon

Justin Solomon

Research Group

Haystack Group

We are an interdisciplinary group of researchers blending approaches from human-computer interaction, social computing, databases, information management, and databases.

Lea Verou

+2

David Karger

Leads

David Karger

Research Areas

Algorithms & Theory

Human-Computer Interaction

Programming Languages & Software Engineering

Impact Areas

Internet of Things

Lead

David Karger

Lea Verou

David Karger

Community of Research

Human-Computer Interaction Community of Research

The focus of the HCI CoR is inventing new systems and technology that lie at the interface between people and computation, and understanding their design, implementation, and societal impact.

+4

Stefanie Mueller

Leads

Stefanie Mueller

Research Areas

Graphics & Vision

Human-Computer Interaction

Programming Languages & Software Engineering

Impact Areas

Lead

Stefanie Mueller

Stefanie Mueller

120 Project Results

Project

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

Computation Structures Group

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

Quan Nguyen

Leads

Quan Nguyen

Research Areas

Computer Architecture

Systems & Networking

Quan Nguyen

Project

A new way of handling all-to-all broadcast

Computation Structures Group

We design a new all-to-all broadcasts scheme with significantly less communication cost using aggregate signatures.

Alin Tomescu

Jun Wan

Leads

Jun Wan

Research Areas

Algorithms & Theory

Security & Cryptography

Alin Tomescu

Jun Wan

Project

A Simplified and Extensible Cilk Runtime for Research

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

Charles E. Leiserson

Tao Schardl

Leads

Charles E. Leiserson

Tao Schardl

Research Areas

Algorithms & Theory

Programming Languages & Software Engineering

Charles E. Leiserson

Tao Schardl

Project

Active Learning of Models for Planning

Learning and Intelligent Systems

Machine Learning

We aim to develop a systematic framework for robots to build models of the world and to use these to make effective and safe choices of actions to take in complex scenarios.

Leslie Kaelbling

Tomas Lozano-Perez

Leads

Leslie Kaelbling

Tomas Lozano-Perez

Research Areas

Algorithms & Theory

Human-Computer Interaction

Impact Areas

Leslie Kaelbling

Tomas Lozano-Perez

Project

Algebraic Techniques for Algorithm Design

Theory of Computation Community of Research

We work on improving the algorithms for algebraic problems like matrix multiplication, and using these to design algorithms for fundamental non-algebraic problems.

Virginia Vassilevska Williams

Leads

Virginia Vassilevska Williams

Research Areas

Algorithms & Theory

Virginia Vassilevska Williams

Project

Algorithmic Aspects of Performance Engineering

Supertech Research Group

Theory of Computation Community of Research

The project concerns algorithmic solutions for writing fast codes.

Leads

Research Areas

Algorithms & Theory

Impact Areas

Project

Alloy

Software Design Group

Human-Computer Interaction Community of Research

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. Hundreds of projects have used Alloy for design analysis, for verification, for simulation, and as a backend for many other kinds of analysis and synthesis tools, and Alloy is currently being taught in courses worldwide.

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Human-Computer Interaction

Programming Languages & Software Engineering

Security & Cryptography

Impact Areas

Daniel Jackson

Project

An Algorithmic Theory of Brain Networks

Theory of Distributed Systems Group

We are developing an algorithmic theory for brain networks, based on simple synchronized stochastic graph-based neural network models.

Nancy Lynch

Leads

Nancy Lynch

Research Areas

Algorithms & Theory

Nancy Lynch

Project

An Interlock for Self Driving Cars

Software Design Group

Computer-Aided Programming

Vertical AI Community of Research

Human-Computer Interaction Community of Research

Self-driving cars are likely to be safer, on average, than human-driven cars. But they may fail in new and catastrophic ways that a human driver could prevent. This project is designing a new architecture for a highly dependable self-driving car.

Daniel Jackson

Armando Solar-Lezama

Leads

Daniel Jackson

Armando Solar-Lezama

Research Areas

Human-Computer Interaction

Programming Languages & Software Engineering

Systems & Networking

Impact Areas

Daniel Jackson

Armando Solar-Lezama

Project

Approximating the diameter of a directed graph

Theory of Computation Community of Research

There is a family of approximation algorithms for computing the diameter of an undirected graph that give a time/accuracy trade-off and our goal is to extend these results to directed graphs.

Virginia Vassilevska Williams

Leads

Virginia Vassilevska Williams

Research Areas

Algorithms & Theory

Virginia Vassilevska Williams

Project

Artificial Social Intelligence for Successful Teams (ASIST)

Computation Structures Group

Computational Cognitive Science Group

Model-Based Embedded and Robotics Systems Group

Our goal is to develop a socially intelligent team coacher agent that helps humans communicate, strategize, and work together efficiently.

Leads

Howard Shrobe

Brian Williams

Boris Katz

Zhutian Yang

Research Areas

Computer Architecture

Human-Computer Interaction

Impact Areas

Project

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

Computational Biology

Impact Areas

Project

Aspect-Augmented Adversarial Networks for Domain Adaptation

Natural Language Processing Group

Vertical AI Community of Research

We propose a novel aspect-augmented adversarial network for cross-aspect and cross-domain adaptation tasks. The effectiveness of our approach suggests the potential application of adversarial networks to a broader range of NLP tasks for improved representation learning, such as machine translation and language generation.

Regina Barzilay

Tommi Jaakkola

Leads

Regina Barzilay

Tommi Jaakkola

Research Areas

Algorithms & Theory

Systems & Networking

Regina Barzilay

Tommi Jaakkola

Project

Basing Cryptography on Structured Hardness

Cryptography and Information Security Group

Theory of Computation Community of Research

We aim to base a variety of cryptographic primitives on complexity theoretic assumptions. We focus on the assumption that there exist highly structured problems --- admitting so called "zero-knowledge" protocols --- that are nevertheless hard to compute

Leads

Research Areas

Algorithms & Theory

Security & Cryptography

Project

Bayesian Optimization for Global Optimization of Expensive Black-box Functions

Machine Learning

Learning and Intelligent Systems

We study the fundamentals of Bayesian optimization and develop efficient Bayesian optimization methods for global optimization of expensive black-box functions originated from a range of different applications.

Leads

Research Areas

Algorithms & Theory

Impact Areas

Project

Bellmania

Supertech Research Group

Computer-Aided Programming

Theory of Computation Community of Research

Deductive synthesis for large-scale implementations of dynamic programming algorithms

Leads

Research Areas

Programming Languages & Software Engineering

Project

Better Models for Ride-Sharing

Distributed Robotics Laboratory

Traffic is not just a nuisance for drivers: It’s also a public health hazard and bad news for the economy.

Leads

Research Areas

Algorithms & Theory

Systems & Networking

Impact Areas

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

BlueDBM: Distributed Flash Storage for Big Data Analytics

Computation Structures Group

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

Leads

Research Areas

Computer Architecture

Systems & Networking

Impact Areas

Project

Bridging Theory and Practice in Shared-Memory Parallel Algorithm Design

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

Julian Shun

Leads

Julian Shun

Research Areas

Algorithms & Theory

Programming Languages & Software Engineering

Systems & Networking

Impact Areas

Julian Shun

Project

CilkPride

Usable Programming Group

Human-Computer Interaction Community of Research

CilkPride is a programming environment that aims to make performance and safety information always available and appropriately visible to the programmer.

Charles E. Leiserson

Rob Miller

Leads

Charles E. Leiserson

Rob Miller

Research Areas

Human-Computer Interaction

Programming Languages & Software Engineering

Charles E. Leiserson

Rob Miller

Project

Clinical Intervention Prediction with Neural Networks

Cognitive AI Community of Research

Applied Machine Learning Community of Research

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

Leads

Research Areas

Computational Biology

Impact Areas

Project

Compilation Using Correct-by-Construction Program Synthesis

Programming Languages & Verification

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

Adam Chlipala

Leads

Adam Chlipala

Research Areas

Programming Languages & Software Engineering

Adam Chlipala

Project

Compression and Reordering for Parallel Graph Analytics

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

Leads

Research Areas

Programming Languages & Software Engineering

Systems & Networking

Impact Areas

78 People Results

Leandro Agudelo

Research Scientist

Systems Genomics, CompBio, Topological Integrative Biology, Biology

E lagudelo@csail.mit.edu

Systems Genomics, CompBio, Topological Integrative Biology, Biology

Ekin Akyürek

Graduate Student

First year PhD student in computer science

E akyurek@mit.edu

First year PhD student in computer science

PI
Core/Dual

Saman Amarasinghe

Professor

Compilers, architectures, software engineering

E saman@csail.mit.edu

T 253-8879

RM

Lead

Tiramisu Compiler

Member

Simit: A Language for Computing on Sparse Systems

Taco: The Tensor Algebra Compiler

OpenTuner: An Extensible Framework for Program Autotuning

Program Performance Prediction with Deep Learning

Vertical AI Community of Research

Compilers, architectures, software engineering

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

Vertical AI Community of Research

Applied Machine Learning Community of Research

Natural language processing, machine learning

Cenk Baykal

Graduate Student

E baykal@mit.edu

RM 32-376C

Member

Distributed Robotics Laboratory

Coresets for Machine Learning Algorithms

PI
Core/Dual

Bonnie Berger

Professor

Computational biology, genomics

E bab@csail.mit.edu

T 253-1827

RM

Lead

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

Theory of Computation Community of Research

Applied Machine Learning Community of Research

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

RM

Lead

Decentralized Information Group

World Wide Web Consortium

Solid: Social Linked Data

Member

Computing & Society Community of Research

Systems, privacy, inventor of the World Wide Web

PI
Core/Dual

Michael Carbin

Assistant Professor

Programming languages and systems.

E mcarbin@csail.mit.edu

T 253-5881

RM

Lead

Programming Systems Group

The Lottery Ticket Hypothesis

Member

Programming with spaces

Program Performance Prediction with Deep Learning

Vertical AI Community of Research

Applied Machine Learning Community of Research

Systems Community of Research

Programming languages and systems.

Tej Chajed

Graduate Student

PhD student in systems

E tchajed@csail.mit.edu

RM 32-G978B

Lead

FSCQ: File-system verification

Member

Parallel and Distributed Operating Systems

PhD student in systems

Xuhao Chen

Postdoctoral Associate

Parallel Computer Architecture, Data Mining, Machine Learning

E cxh@mit.edu

Parallel Computer Architecture, Data Mining, Machine Learning

PI
Core/Dual

Adam Chlipala

Associate Professor

Programming languages, formal methods, security & privacy, systems

E adamc@csail.mit.edu

T 324-8439

RM

Lead

Kami: A Modular Deductive Hardware Verification Platform

Compilation Using Correct-by-Construction Program Synthesis

Programming Languages & Verification

Hemiola: Structural Design and Proof of Cache-Coherence Protocols

Member

Compilation Using Correct-by-Construction Program Synthesis

Programming with spaces

Computation Structures Group

FSCQ: File-system verification

Systems Community of Research

Programming languages, formal methods, security & privacy, systems

Stephen Chou

Graduate Student

E s3chou@csail.mit.edu

RM

Member

Taco: The Tensor Algebra Compiler

Valentin Churavy

Graduate Student

#JuliaLang, #GPU, #HPC

E vchuravy@MIT.EDU

Member

Adversarial Cyber Security

#JuliaLang, #GPU, #HPC

PI
Core/Dual

Costis Daskalakis

Associate Professor

Algorithms, Economics, Game Theory, Statistics, Machine Learning

E costis@csail.mit.edu

T 253-9643

RM

Lead

Algorithms Group

Is the Casino using a Riffle Shuffle?

Understanding Convergence of Iterative Algorithms

Theory of Computation Community of Research

Member

Center for Deployable Machine Learning (CDML)

Algorithms, Economics, Game Theory, Statistics, Machine Learning

Azim Dehghani Amirabad

Postdoctoral Associate

Machine learning, Bioinformatics

E azimd@csail.mit.edu

Machine learning, Bioinformatics

PI
Core/Dual

Erik Demaine

Professor

Algorithms, theory, computational geometry, complexity

E edemaine@mit.edu

T 253-6871

RM

Lead

Algorithms Group

Member

Theory of Computation Community of Research

Algorithms, theory, computational geometry, complexity

Martin Demaine

Robotics Engineer

E mdemaine@mit.edu

T 253-7953

RM

Peter Deutsch

Graduate Student

E pwd@mit.edu

PI
Core/Dual

Srini Devadas

Professor

Architectures, security, computer-aided design

E devadas@csail.mit.edu

T 253-0454

RM

Lead

Computation Structures Group

Using Bitcoin to prevent identify theft

Secure Demand Paging for Trusted Execution Environments

Scaling strong anonymity

Return of the Byzantine Generals

Member

Sanctum Secure Processor

A new way of handling all-to-all broadcast

Architectures, security, computer-aided design

PI
Core/Dual

Fredo Durand

Professor

Vision, graphics, computational photography

E fredo@csail.mit.edu

T 253-7223

RM

Lead

Computer Graphics Group

Human-Computer Interaction

Computational Understanding of Visualizations and Graphic Designs

Member

Computational Bounce Flash for Indoor Portraits

Visual Computing Community of Research

Vision, graphics, computational photography

Barış Ekim

Graduate Student

E ekim@csail.mit.edu

PI
Core/Dual

Joel Emer

Professor of the Practice

Architectures, performance modeling

E emer@csail.mit.edu

T 258-9190

RM

Member

Computation Structures Group

Pervasive Parallelism with the Swarm Architecture

Vertical AI Community of Research

Systems Community of Research

Architectures, performance modeling

PI
Core/Dual

Shafi Goldwasser

Professor

Theory, cryptography, cybersecurity, complexity

E shafi@csail.mit.edu

T 253-5914

RM

Lead

Cryptography and Information Security Group

Complexity Theory Group

Member

Computation Structures Group

Computational Connectomics Group

Theory of Computation Community of Research

Theory, cryptography, cybersecurity, complexity

Noah Golowich

Graduate Student

E nzg@mit.edu

RM 32-G585B

102 News Results

Agent vs. Observer

Algorithms & Theory AI & ML

December 07 '20

Building machines that better understand human goals

A new algorithm capable of inferring goals and plans could help machines better adapt to the imperfect nature of human planning

Building machines that better understand human goals

BERT

Algorithms & Theory AI & ML

December 02 '20

Shrinking massive neural networks used to model language

A new approach could lower computing costs and increase accessibility to state-of-the-art natural language processing.

Shrinking massive neural networks used to model language

RoboGrammar

Algorithms & Theory Robotics

November 30 '20

Computer-aided creativity in robot design

MIT researchers’ new system optimizes the shape of robots for traversing various terrain types.

Computer-aided creativity in robot design

UTI 1

Algorithms & Theory AI & ML Computational Biology Health Care

November 04 '20

Algorithm reduces unnecessary use of antibiotics for UTIs

Machine learning model predicts probability that a patient’s UTI can be treated by various antibiotics

Algorithm reduces unnecessary use of antibiotics for UTIs

Autonomous boats

Algorithms & Theory Robotics Transportation

October 26 '20

Autonomous boats could be your next ride

Five years in the making, MIT’s autonomous floating vessels get a size upgrade and learn a new way to communicate aboard the waters.

Autonomous boats could be your next ride

Sleeping position

Algorithms & Theory AI & ML Health Care

September 17 '20

Monitoring sleep positions for a healthy rest

Wireless device captures sleep data without using cameras or body sensors; could aid patients with Parkinson’s disease, epilepsy, or bedsores.

Monitoring sleep positions for a healthy rest

computer vision model 1

Algorithms & Theory AI & ML Programming Languages & Software Engineering

September 08 '20

Toward a machine learning model that can reason about everyday actions

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

Toward a machine learning model that can reason about everyday actions

Deep learning

Algorithms & Theory Programming Languages & Software Engineering Energy

August 12 '20

Shrinking deep learning’s carbon footprint

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

Shrinking deep learning’s carbon footprint

Looking into the black box 1

Algorithms & Theory Systems & Networking

July 29 '20

Looking into the black box

Recent advances give theoretical insight into why deep learning networks are successful.

Looking into the black box

AI/art

Algorithms & Theory Entertainment

July 29 '20

Algorithm finds hidden connections between paintings at the Met

A team from MIT helped create an image retrieval system to find the closest matches of paintings from different artists and cultures.

Algorithm finds hidden connections between paintings at the Met

Graphics & Vision Programming Languages & Software Engineering Systems & Networking

July 17 '20

Wu receives ACM Doctoral Dissertation Honorable Mention award

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

Wu receives ACM Doctoral Dissertation Honorable Mention award

AR glove

Algorithms & Theory Robotics

June 02 '20

New glove lets you incorporate real-life objects into virtual worlds

New glove lets you incorporate real-life objects into virtual worlds

New glove lets you incorporate real-life objects into virtual worlds

gripper 2

Algorithms & Theory Robotics Manufacturing

June 01 '20

Giving soft robots senses

In a pair of papers from MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL), two teams enable better sense and perception for soft robotic grippers.

Giving soft robots senses

GANs 2

Algorithms & Theory Programming Languages & Software Engineering

May 06 '20

Visualizing the world beyond the frame

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

Visualizing the world beyond the frame

Games

Algorithms & Theory

April 28 '20

Automating the search for entirely new “curiosity” algorithms

Researchers show that computers can “write” algorithms that adapt to radically different environments better than algorithms designed by humans.

Automating the search for entirely new “curiosity” algorithms

COVID-19 breathing

Algorithms & Theory AI & ML Health Care Wireless

April 14 '20

CSAIL device lets doctors monitor COVID-19 patients from a distance

Wireless system helps Boston retirement home care for COVID patients while reducing risk of contagion

CSAIL device lets doctors monitor COVID-19 patients from a distance

Car 2

Algorithms & Theory

March 24 '20

System trains driverless cars in simulation before they hit the road

Using a photorealistic simulation engine, vehicles learn to drive in the real world and recover from near-crash scenarios.

System trains driverless cars in simulation before they hit the road

Aleksander Madry

Algorithms & Theory AI & ML

March 16 '20

“Doing machine learning the right way”

Professor Aleksander Madry strives to build machine-learning models that are more reliable, understandable, and robust.

“Doing machine learning the right way”

Robot chores 1

Algorithms & Theory AI & ML Robotics

March 05 '20

Showing robots how to do your chores

By observing humans, robots learn to perform complex tasks, such as setting a table.

Showing robots how to do your chores

Metadata/survail.

Algorithms & Theory Cybersecurity

February 26 '20

Protecting sensitive metadata so it can’t be used for surveillance

System ensures hackers eavesdropping on large networks can’t find out who’s communicating and when they’re doing so.

Protecting sensitive metadata so it can’t be used for surveillance

Automated system can rewrite outdated sentences in Wikipedia articles 1

Algorithms & Theory AI & ML

February 13 '20

Automated system can rewrite outdated sentences in Wikipedia articles

Text-generating tool pinpoints and replaces specific information in sentences while retaining humanlike grammar and style.

Automated system can rewrite outdated sentences in Wikipedia articles

Sensorized skin 1

Algorithms & Theory AI & ML Robotics

February 12 '20

“Sensorized” skin helps soft robots find their bearings

Flexible sensors and an artificial intelligence model tell deformable robots how their bodies are positioned in a 3D environment.

“Sensorized” skin helps soft robots find their bearings

Di Jin 1

Algorithms & Theory AI & ML

February 07 '20

Hey Alexa: Sorry I fooled you

MIT’s new system TextFooler can trick the types of natural-language-processing systems that Google uses to help power its search results, including audio for Google Home

Hey Alexa: Sorry I fooled you

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