People

Filter options Close

Find people by research area

Role

Reset Filters
Filter options
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
Freeman

PI
Core/Dual

William Freeman

Professor
Vision, machine learning, Bayesian modeling
Freeman
T 253-8828
RM 32-D476

Lead

Vision Group
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
Embodied Intelligence Community of Research
Visual Computing Community of Research
Vision, machine learning, Bayesian modeling
Jim Glass

PI
Core/Dual

Jim Glass

Senior Research Scientist
speech and language processing
Jim Glass
T 253-1640
RM 32-G444

Lead

Spoken Language Systems Group
Designing Information-Rich Embedding Spaces
Unsupervised Learning of Interpretable Representations from Sequential Data
Fact-Checking and Reasoning
Speaker Verification and Diarization
Automatic Speech Recognition
Language and Dialect Identification

Member

Using Computers to Eat Healthier
Low-Power Speech Processing Circuits
Crossing the Vision-Language Boundary
Unsupervised Speech Processing
Arabic Language Processing
Health-related Biomarkers from Speech
Community Question Answering
Understanding Language Representations in Deep Learning Models
Embodied Intelligence Community of Research
speech and language processing
Fox 1

PI
Core/Dual

D. Fox Harrell

Professor
AI, systems for social change and creative expression
Fox 1
T 324-4278
RM 14N-207

Lead

Imagination, Computation, and Expression Laboratory (ICE Lab)
Developing the Impacts of Virtual Identity on Computational Learning Environments
Culturally-Grounded Virtual Identities: A Case Study in a Qatari Context
AIRvatar System: A Framework for Analyzing Virtual Identities
Narra Ludens: Explaining Video Game Engagement Through Textual Analysis
Changing Minds via Roleplay in Interactive Digital Media
Toward Using Virtual Identities in Computer Science Learning for Broadening Participation
Enriching Virtual Reality (VR) Narratives with Embodied and Gestural Interaction
Analyzing Player Profile Data
Provoking Critical Reflection on Gender Discrimination with Chimeria: Grayscale

Member

Human-Computer Interaction Community of Research
AI, systems for social change and creative expression
Tommi Jaakkola

PI
Core/Dual

Tommi Jaakkola

Professor
Machine learning, natural language processing, genomics
Tommi Jaakkola
T 253-0440
RM 32-G470

Lead

Machine Learning
Natural Language Processing Group
Aspect-Augmented Adversarial Networks for Domain Adaptation
Learning Strategic Games
Structured Prediction Through Randomization
Interpretability in complex machine learning models

Member

Learning Optimal Interventions
Vertical AI Community of Research
Machine learning, natural language processing, genomics
Jackson image

PI
Core/Dual

Daniel Jackson

Professor
Software design, programming, systems
Jackson image
T 258-8471
RM 32-G704

Lead

Human-Computer Interaction
Software Design Group
Rethinking Software Design
Gitless: a simple version control system built on top of Git
Déjà Vu: Constructing Apps from Concepts
Security by Design for Cyberphysical Systems
Poirot: Secure Protocol Implementation by Design
An Interlock for Self Driving Cars
Alloy
Wildcard

Member

Espalier
Human-Computer Interaction Community of Research
Systems Community of Research
Wildcard
Software design, programming, systems
Kaelbling

PI
Core/Dual

Leslie Kaelbling

Professor
Robotics, machine learning, motion planning
Kaelbling
T 258-9695
RM 32-333

Lead

Learning and Intelligent Systems
Machine Learning
Learning and Optimization
Robotic Planning and Manipulation with Force Information
Reliable Robotic Construction of Multi-object Arrangements
Learning and Planning with Compressed Linear Expectation Models
Active Learning of Models for Planning
Task and Motion Planning for Autonomous Robots
Robust Intelligent Robots

Member

Robust Intelligent Robots
Embodied Intelligence Community of Research
Robotics, machine learning, motion planning
Karger

PI
Core/Dual

David Karger

Professor
Helping people manage information
Karger
T 258-6167
RM 32-G592

Lead

Haystack Group
Human-Computer Interaction
Algorithms Group
Mavo: Creating Interactive Data-Driven Web Applications by Authoring HTML
Wikum: Bridging Discussion Systems and Wikis with Collective Summarization
Squadbox: Combating Online Harassment using Friendsourced Moderation
Eyebrowse: Social and Public Web Browsing
Talkademic: Motivating Online Academic Discourse

Member

Human-Computer Interaction Community of Research
Theory of Computation Community of Research
Systems Community of Research
Helping people manage information
Lozano-Perez

PI
Core/Dual

Tomas Lozano-Perez

Professor
Robotics, artificial intelligence
Lozano-Perez
T 253-7889
RM 32-333

Lead

Learning and Intelligent Systems
Learning and Optimization
Robotic Planning and Manipulation with Force Information
Reliable Robotic Construction of Multi-object Arrangements
Learning and Planning with Compressed Linear Expectation Models
Active Learning of Models for Planning
Task and Motion Planning for Autonomous Robots
Robust Intelligent Robots

Member

Robust Intelligent Robots
Embodied Intelligence Community of Research
Robotics, artificial intelligence
Madden

PI
Core/Dual

Sam Madden

Professor
Systems for processing and manipulating data
Madden
T 258-6643
RM 32-G938

Lead

Data Systems Group
Aurum: Large Scale Data Discovery
System that Learns From IoT
Data Civilizer
Autonomous Vehicle Databases
Building a Scalable Database for Autonomous Vehicles
Chameleon: Using Machine Learning to Make Databases Faster!
Data Discovery
Systems Community of Research
Video Data Querying
Starling: Query Optimization for Cloud Services

Member

Aurum: Large Scale Data Discovery
Computation Structures Group
Systems for processing and manipulating data
oliva-headshot

PI
Core/Dual

Aude Oliva

Senior Research Scientist
Vision, perception/cognition, cognitive neuroscience
oliva-headshot
T 452-2492
RM 32-D432

Lead

Computational Perception & Cognition
Vision Group
Moments: A Large-scale Database for Learning to Understand Videos
Lifelong Adaptive Learning for Visual Navigation Networks
Deep Neuroscience Learning: Transferring Human Brain Processes to AI
Computational Understanding of Visualizations and Graphic Designs

Member

Places Database for Scene Recognition
Visual Computing Community of Research
Embodied Intelligence Community of Research
Vision, perception/cognition, cognitive neuroscience
Rus

PI
Core/Dual

Daniela Rus

Director
CSAIL director, robotics, AI, data science, privacy
Rus
T 258-7567
RM 32/ 32-368/ 374

Lead

Distributed Robotics Laboratory
Social Network Extraction from GPS Datasets with Coresets
Safety Standards for Autonomous Vehicles
Soft Contact Modeling
Practical Secure Computation
Self-Driving Vehicles
Robust Learning for Autonomous Vehicles
Brain-Controlled Robots
Planning in Congestion for Autonomous Vehicles
Socially-Compliant Behavior for Autonomous Driving
Coresets for Machine Learning Algorithms
M-Blocks Modular Robotics
Robot Compiler
Distributed Robot Garden
Route and Motion Planning for Mobility-on-Demand with Rules of the Road

Member

Social Network Extraction from GPS Datasets with Coresets
Task-Driven Co-Optimization Of Articulated Robots
Wearable Blind Navigation
Drones that Drive
Better Models for Ride-Sharing
SoFi - The Soft Robotic Fish
Controlling drones and other robots with gestures
Using Muscle Signals to Lift Objects with Robots
Embodied Intelligence Community of Research
Helping robots learn using demonstrations
CSAIL director, robotics, AI, data science, privacy
Devavrat Shah

Devavrat Shah

Temporary Associate Professor
Statistical inference, network algorithms, stochastics
Devavrat Shah
T 253-4670
RM 32-D670
Statistical inference, network algorithms, stochastics
JShah-headshot

PI
Core/Dual

Julie Shah

Associate Professor
Robotics, machine learning, artificial intelligence
JShah-headshot
T 324-4879

Lead

Interactive Robotics Group
Robots that collaborate with humans to form team plans
Robots that Quickly Adjust Team Plans to Disturbance
Human-Guided Transfer for Robot Learning
Efficient Communication for Human-Machine Teams

Member

Apprenticeship Scheduling: Learning to Schedule From Human Experts
Embodied Intelligence Community of Research
Robotics, machine learning, artificial intelligence
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
Shun

PI
Core/Dual

Julian Shun

Assistant Professor
Parallel computing, applied algorithms, graph processing.
Shun
T 258-0669
RM 32-G736

Lead

Programming Abstractions for Dynamic Graph Analytics
Bridging Theory and Practice in Shared-Memory Parallel Algorithm Design
High-Performance Parallel Clustering

Member

Data Systems Group
Theory of Computation Community of Research
Vertical AI Community of Research
Systems Community of Research
Parallel computing, applied algorithms, graph processing.
solomon-headshot

PI
Core/Dual

Justin Solomon

Associate Professor
Geometry, graphics, vision, machine learning, optimization.
solomon-headshot
RM 32-D460

Lead

Computer Graphics Group
Geometric Data Processing Group
Geometry in Large-Scale Machine Learning
Political Geometry: Establishing Fair Mathematical Standards for Political Redistricting
Sensible Deep Learning for 3D Data
Optimal transport for statistics and machine learning
Geometry and topology for scientific computing and shape analysis

Member

Visual Computing Community of Research
Geometry, graphics, vision, machine learning, optimization.
Stonebraker

PI
Core/Dual

Michael Stonebraker

Adjunct Professor
Databases, big data
Stonebraker
T 253-3538
RM 32-G922

Lead

Data Systems Group
Predictive Modeling for Database Elasticity
Aurum: Large Scale Data Discovery
Data Civilizer
Database Design
Data Warehouse Construction
Autonomous Vehicle Databases
Data Discovery
Building a Scalable Database for Autonomous Vehicles
Predictive Elastic Database Systems

Member

Predictive Modeling for Database Elasticity
Aurum: Large Scale Data Discovery
Systems Community of Research
Databases, big data
Szolovits

PI
Core/Dual

Peter Szolovits

Professor
Machine learning, natural language processing
Szolovits
T 253-3476
RM 32-254

Lead

Clinical Decision-Making Group
Predicting Adverse Events Across Changing Electronic Health Record Systems
AWE-CM Vectors: Augmenting Word Embeddings with a Clinical Metathesaurus
Synthetically-Identified Clinical Notes
Information Retrieval for Cancer Treatments in Clinical Literature and Trial Eligibility
CliNER: Clinical Concept Extraction
Quantifying Racial Disparities in End-of-Life Care
Clinical Note Representations That Predict ICU Mortality/Re-Admission
Multivariate Signal Representations That Predict ICU Interventions

Member

Clinical Intervention Prediction with Neural Networks
Applied Machine Learning Community of Research
Cognitive AI Community of Research
Quantification of Pulmonary Edema in Chest Radiographs
Machine learning, natural language processing
Russ Tedrake

PI
Core/Dual

Russ Tedrake

Professor
Robotics, machine learning, motion planning and control
Russ Tedrake
T 253-1778
RM 32-380B

Lead

Robot Locomotion Group
Localizing External Contact Using Proprioceptive Sensors
Tactile and Physical Perception
Soft Contact Modeling
Self-Driving Vehicles

Member

Tactile and Physical Perception
Task-Driven Co-Optimization Of Articulated Robots
Center for Deployable Machine Learning (CDML)
Embodied Intelligence Community of Research
Robotics, machine learning, motion planning and control
Torralba

PI
Core/Dual

Antonio Torralba

Professor
Vision, graphics, perception, machine learning
Torralba
T 324-0900
RM 32-386G

Lead

Vision Group
Understanding Light via Deep Neural Networks
Understandable Deep Networks
Understanding Food images

Member

Predictive Vision
Where Are They Looking?
Single-Image 3D Interpreter Network
VirtualHome: Representing Activities as Programs
Places Database for Scene Recognition
Semantic Scene Understanding through ADE20K dataset
Crossing the Vision-Language Boundary
Center for Deployable Machine Learning (CDML)
Visual Computing Community of Research
Embodied Intelligence Community of Research
Vision, graphics, perception, machine learning
Ward

PI
Core/Dual

Steve Ward

Professor
Architectures, compilers, systems, multiprocessors
Ward
T 253-6036
RM 32/ 32-G422/ G786
Architectures, compilers, systems, multiprocessors
Williams

PI
Core/Dual

Brian Williams

Professor
Robotics, autonomy, artificial intelligence, machine learning
Williams
T 253-2739
RM 32-227

Lead

Model-Based Embedded and Robotics Systems Group
RADMAX
Geordi: A Driver's Assistant for Risk-bounded Maneuvering
Robots Adapting to Human Intent
Risk-aware Network Resource Allocation
Uhura: Personal Assistant that Manages Risk
Artificial Social Intelligence for Successful Teams (ASIST)

Member

Cognitive AI Community of Research
Robotics, autonomy, artificial intelligence, machine learning
Gregory Wornell

Gregory Wornell

Professor
Inference, learning, information theory, signal processing, imaging
Gregory Wornell
T 253-3513
Inference, learning, information theory, signal processing, imaging