Secure, Robust and Reliable Machine Learning
View Project
Large Language Models
View Project
Machine Learning for Code
View Project
Quantum Computing
View Project
Differential Privacy
View Project
Probabilistic and Differentiable Programming
View Project

Completed Projects

Computational Biology
View Project
Blockchain Security
View Project
Fast Numerical Abstract Domains
View Project
Programmable Networks
View Project
Fender: Programming with Relaxed Memory Models
View Project
An Interactive Data Structure Development System
View Project
CORE: Foundations of Practical Concurrency Analysis
View Project
EventRacer: Analysis of Event-Driven Applications
View Project
Quality Virtual Machine
View Project
Paraglide: Synthesis of Concurrent Systems
View Project