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
Formal Synthesis of Distributed System Protocols

Member

Compilation Using Correct-by-Construction Program Synthesis
Programming with spaces
Computation Structures Group
FSCQ: File-system verification
Programming languages, formal methods, security & privacy, systems
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

Wait-learning: Intelligent Systems for Making Productive Use of Wait Time
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
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/ E15-207/ 326

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

Aspect-Augmented Adversarial Networks for Domain Adaptation
Learning Optimal Interventions
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 Clichés
Security by Design for Cyberphysical Systems
(Re)Thinking Software Design
Poirot: Secure Protocol Implementation by Design
An Interlock for Self Driving Cars

Member

Espalier
Software design, programming, systems
Kaelbling

PI
Core/Dual

Leslie Kaelbling

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

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
Robotics, machine learning, motion planning
Tim Kraska

PI
Core/Dual

Tim Kraska

Associate Professor
Systems for ML, ML for Systems, Interactive Data Exploration
Tim Kraska
RM 32-G914
Systems for ML, ML for Systems, Interactive Data Exploration
Lozano-Perez

PI
Core/Dual

Tomas Lozano-Perez

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

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
Robotics, artificial intelligence
oliva-headshot

PI
Core/Dual

Aude Oliva

Principal 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
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
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
solomon-headshot

PI
Core/Dual

Justin Solomon

Assistant Professor
Graphics, vision, machine learning, computational geometry.
solomon-headshot
RM 32/ -D460

Lead

Computer Graphics Group
Geometric Data Processing Group
Graph Matching with Quadratic Transportation Costs
Geometry-Aware Computing on Discrete Data
Geometry in Large-Scale Machine Learning
Political Geometry: Establishing Fair Mathematical Standards for Political Redistricting
Boundary Element Method for Shape Analysis and Geometry Processing
Graphics, vision, machine learning, computational geometry.
Stonebraker

PI
Core/Dual

Michael Stonebraker

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

Lead

Database 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
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
Multivariate Signal Representations That Predict ICU Interventions
Clinical Note Representations That Predict ICU Mortality/Re-Admission
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

Member

Semi-Supervised Regression with Cycle Wasserstein Regression GANs
Using Clinical Domain Knowledge for Processing Physiological Data
Clinical Intervention Prediction with Neural Networks
Machine learning, natural language processing
Neil Thompson Headshot

Neil Thompson

Research Scientist
I'm an innovation scholar studying computer science and economics.
Neil Thompson Headshot
RM 32-G766
I'm an innovation scholar studying computer science and economics.
Torralba

PI
Core/Dual

Antonio Torralba

Professor
Vision, graphics, perception, machine learning
Torralba
T 324-0900
RM / 32-D462

Lead

Vision Group
Understanding Light via Deep Neural Networks
Understandable Deep Networks
Understanding Health Habits from Social Media Pictures

Member

Predictive Vision
Neural Physics Engine
Where Are They Looking?
Single-Image 3D Interpreter Network
Computer Graphics Group
VirtualHome: Representing Activities as Programs
Places Database for Scene Recognition
Semantic Scene Understanding through ADE20K dataset
Crossing the Vision-Language Boundary
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