Research

  • Impact Areas
  • Research Areas

Algorithms & Theory

Foundational work that includes complexity, parallel computing and game theory

AI & ML

Spanning natural language processing, deep-learning, computer vision and more

Computational Biology

Understanding disease via epigenomics, gene regulation and bioinformatics

Computer Architecture

How CPUs, memory and other systems are designed and organized

Graphics & Vision

Teaching computers to interpret, create and animate visual data

Human-Computer Interaction

Software and hardware that let us naturally interact with technology

Programming Languages & Software Engineering

From compilers and verification to software design and engineering

Robotics

Vision, actuation, sensing and manipulation of machines

Security & Cryptography

Developing technologies to prevent and recover from cyber-attacks

Systems & Networking

From distributed systems and databases to wireless

Filter options
Filter options

Filter options Close

Role

Media

Research Areas

Impact Areas

Reset Filters

2 Group Results matching all criteria

Community of Research

Systems Community of Research

The Systems CoR is focused on building and investigating large-scale software systems that power modern computers, phones, data centers, and networks, including operating systems, the Internet, wireless networks, databases, and other software infrastructure.
Alizadeh-headshot
Arvind
Hari Balakrishnan
+21
Madden

Sam Madden

Leads

Madden

Sam Madden

Research Areas

Computer Architecture
Programming Languages & Software Engineering
Security & Cryptography
Systems & Networking

Impact Areas

Big Data
Cybersecurity
Internet of Things
Transportation
Wireless

Lead

Madden

Sam Madden

Alizadeh-headshot
Arvind
Hari Balakrishnan
+21
 
Madden

Sam Madden

1 People Results matching all criteria

2 News Results matching all criteria

4 Group Results

Research Group

Programming Languages & Verification

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

Secret weapon: applied mathematical logic, including computer theorem proving (especially Coq) and type systems
Clément Pit-Claudel
default headshot
Samuel Gruetter
+4
Chlipala-headshot

Adam Chlipala

Leads

Chlipala-headshot

Adam Chlipala

Research Areas

Computer Architecture
Programming Languages & Software Engineering
Security & Cryptography
Systems & Networking

Impact Areas

Cybersecurity

Lead

Chlipala-headshot

Adam Chlipala

Clément Pit-Claudel
default headshot
Samuel Gruetter
+4
 
Chlipala-headshot

Adam Chlipala

Community of Research

Systems Community of Research

The Systems CoR is focused on building and investigating large-scale software systems that power modern computers, phones, data centers, and networks, including operating systems, the Internet, wireless networks, databases, and other software infrastructure.
Alizadeh-headshot
Arvind
Hari Balakrishnan
+21
Madden

Sam Madden

Leads

Madden

Sam Madden

Research Areas

Computer Architecture
Programming Languages & Software Engineering
Security & Cryptography
Systems & Networking

Impact Areas

Big Data
Cybersecurity
Internet of Things
Transportation
Wireless

Lead

Madden

Sam Madden

Alizadeh-headshot
Arvind
Hari Balakrishnan
+21
 
Madden

Sam Madden

5 Project Results

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

Howard Shrobe

Williams

Brian Williams

Katz

Boris Katz

default headshot

Zhutian Yang

Research Areas

Computer Architecture
Human-Computer Interaction
Robotics

Impact Areas

Health Care
Transportation
Wireless

10 People Results

Chlipala-headshot

PI
Core/Dual

Adam Chlipala

Associate Professor
Programming languages, formal methods, security & privacy, systems
Chlipala-headshot
T 324-8439
RM 32-G842

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
High-Assurance Software
High-Assurance Hardware
High-Assurance Cryptography

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

PI
Core/Dual

Howard Shrobe

Principal Research Scientist
Architectures, cybersecurity, web policy
Howard Shrobe
T 253-7877
RM 32-225

Lead

RADMAX
Risk-aware Network Resource Allocation
Automated Attack Tree Generation for Critical Infrastructure
Securing IoT
Cognitive AI Community of Research
Artificial Social Intelligence for Successful Teams (ASIST)
Uhura: Personal Assistant that Manages Risk

Member

Computation Structures Group
Computing & Society Community of Research
Architectures, cybersecurity, web policy

7 News Results

CSAIL1
Algorithms & Theory Computer Architecture Big Data Cybersecurity Health Care Internet of Things Manufacturing

MIT hosts workshop on theoretical foundations of deep learning

Last week MIT’s Institute for Foundations of Data Science (MIFODS) held an interdisciplinary workshop aimed at tackling the underlying theory behind deep learning. Led by MIT professor Aleksander Madry, the event focused on a number of research discussions at the intersection of math, statistics, and theoretical computer science.

MIT hosts workshop on theoretical foundations of deep learning