Research

Impact Areas
Research Areas

Filter options

2 Project Results matching all criteria

Project

Alloy

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

AI & ML

Human-Computer Interaction

Programming Languages & Software Engineering

Robotics

Systems & Networking

Impact Areas

Transportation

Daniel Jackson

Armando Solar-Lezama

1 News Results matching all criteria

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

4 Group Results

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.

Daniel Weitzner

Leads

Daniel Weitzner

Research Areas

Algorithms & Theory

AI & ML

Human-Computer Interaction

Security & Cryptography

Systems & Networking

Impact Areas

Lead

Daniel Weitzner

Research Center

Internet Policy Research Initiative

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

Leads

Daniel Weitzner

Hal Abelson

David Clark

Lalana Kagal

Karen Sollins

Gerald Sussman

Research Areas

AI & ML

Human-Computer Interaction

Security & Cryptography

Impact Areas

Lead

Daniel Weitzner

Hal Abelson

David Clark

Lalana Kagal

Karen Sollins

Gerald Sussman

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.

+21

Sam Madden

Leads

Sam Madden

Research Areas

Computer Architecture

Programming Languages & Software Engineering

Security & Cryptography

Systems & Networking

Impact Areas

Lead

Sam Madden

+21

Sam Madden

Community of Research

Vertical AI Community of Research

This CoR takes a unified approach to cover the full range of research areas required for success in artificial intelligence, including hardware, foundations, software systems, and applications.