LLMs for Mathematical Reasoning
View Project
LLMs for Code
View Project
Watermarking in Generative AI
View Project
Language Model Security and Privacy
View Project
Controllable Language Models
View Project
Reliable Language Model Evaluation
View Project
AI Regulations and Compliance
View Project
Federated Learning Privacy
View Project
SafeAI: Robust and Fair Machine Learning with Guarantees
View Project
Quantum Computing
View Project

Past Projects

BigCode: Statistical Programming Engines
View Project
Differential Privacy
View Project
Probabilistic and Differentiable Programming
View Project
Computational Biology
View Project
Blockchain Security
View Project
Fast Numerical Abstract Domains
View Project
Programmable Networks
View Project
CORE: Foundations of Practical Concurrency Analysis
View Project
Fender: Programming with Relaxed Memory Models
View Project