Research

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