Research

Impact Areas

Lead

Una-May O'Reilly

Community of Research

Cognitive AI Community of Research

This CoR aims to develop AI technology that synthesizes symbolic reasoning, probabilistic reasoning for dealing with uncertainty in the world, and statistical methods for extracting and exploiting regularities in the world, into an integrated picture of intelligence that is informed by computational insights and by cognitive science.

Howard Shrobe

Leads

Howard Shrobe

Research Areas

Robotics

Impact Areas

Cybersecurity

Lead

Howard Shrobe

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.

Stefanie Mueller

Leads

Stefanie Mueller

Research Areas

Impact Areas

Manufacturing

Lead

Stefanie Mueller

Research Group

Lecturers

Lecturers in CSAIL

Leads

Research Areas

Algorithms & Theory

Impact Areas

Cybersecurity

Research Group

MIT App Inventor

MIT App Inventor is an intuitive, visual programming environment that allows everyone – even children – to build fully functional apps for smartphones and tablets.

Hal Abelson

Leads

Hal Abelson

Research Areas

Impact Areas

Internet of Things

Lead

Hal Abelson

Research Group

Software Design Group

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

Daniel Jackson

Leads

Daniel Jackson

Research Areas

Impact Areas

Big Data

Cybersecurity

Lead

Daniel Jackson

Research Group

Sussman Lab

We focus on understanding the problem-solving strategies used by scientists and engineers, with the goals of automating parts of the process and formalizing educational methods.

Gerald Sussman

Leads

Gerald Sussman

Research Areas

Impact Areas

Manufacturing

Lead

Gerald Sussman

Research Group

Usable Programming Group

We design and study systems that improve the learnability, efficiency, and safety of software development.

Rob Miller

Leads

Rob Miller

Research Areas

Impact Areas

Lead

Rob Miller

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.

Leads

Research Areas

Computational Biology

Impact Areas

Computational Cognitive Science Group

Health Care

6 Project Results

Project

A Counterfactual Simulation Model of Causal Judgment

Cognitive AI Community of Research

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

Impact Areas

Imagination, Computation, and Expression Laboratory (ICE Lab)

Health Care

Project

AIRvatar System: A Framework for Analyzing Virtual Identities

Human-Computer Interaction Community of Research

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

Impact Areas

Human-Computer Interaction Community of Research

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

Computational Design and Fabrication Group

Impact Areas

Daniel Jackson

Project

Crowdsourcing in Graphics and Vision

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

Impact Areas

Big Data

Decentralized Information Group

Alexandre Kaspar

Project

PrivacyML - A Privacy Preserving Framework for Machine Learning

Cognitive AI Community of Research

Computing & Society Community of Research

We are developing a general framework that enforces privacy transparently enabling different kinds of machine learning to be developed that are automatically privacy preserving.

Lalana Kagal

Vaikkunth Mugunthan

Leads

Lalana Kagal

Vaikkunth Mugunthan

Research Areas

Impact Areas

Lalana Kagal

Vaikkunth Mugunthan

Project

Where Are They Looking?

Vision Group

Our goal is to build a system that predicts where people are looking in images. Given an image and the location of a head, our approach follows the gaze of the person and identifies the object being looked at.

Leads

Research Areas

Impact Areas

Noria: a new data-flow system for web applications

Health Care

7 People Results

Jonathan Behrens

Graduate Student

E behrensj@mit.edu

RM 32-G978B

Member

Parallel and Distributed Operating Systems

Mustafa Doga Dogan

Graduate Student

E doga@mit.edu

Member

HCI Engineering Group

PI
Core/Dual

Fredo Durand

Professor

Vision, graphics, computational photography

E fredo@csail.mit.edu

T 253-7223

Lead

Computer Graphics Group

Computational Understanding of Visualizations and Graphic Designs

Vision Group

Member

Computational Bounce Flash for Indoor Portraits

Halide

Visual Computing Community of Research

Vision, graphics, computational photography

PI
Core/Dual

David Karger

Professor

Helping people manage information

E karger@csail.mit.edu

T 258-6167

Lead

Haystack Group