I am an Associate Professor at Carnegie Mellon’s Computer Science Department, and a member of the Principles of Programming (PoP) group and CyLab.

My research areas are programming languages and verification. My mission is to discover beautiful mathematical ideas that have a real-world impact, shape the way programmers think, and help to create software that is more reliable, efficient, and secure. Currently, I am working on quantitative verification, type systems, static resource analysis of programs, probabilistic programming, and programming languages for digital contracts.

Before joining Carnegie Mellon, I was an Associate Research Scientist in the FLINT group at the Department of Computer Science at Yale University. Before that, I was a PhD student at LMU Munich. My advisor was Martin Hofmann.

news

Aug 26, 2024 I’m looking forward to co-chairing the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2024) with Farzaneh Derakhshan.
Aug 26, 2024 There are two great articles about research from my group on the CSD PhD Blog. The first one is about Hybrid Resource Analysis by Long Pham. The second one is about The Quantum Physicist’s Method of Resource Analysis by David Kahn.
Aug 20, 2024 Long Pham will present our paper Robust Resource Bounds with Static Analysis and Bayesian Inference at OOPSLA 2024.
May 1, 2024 I am excited that our paper Robust Resource Bounds with Static Analysis and Bayesian Inference will appear at PLDI 2024.
Jan 2, 2024 Proud advisor moment III: My Ph.D. advisee David Kahn has accepted a tenure-track Assistant Professor position at Denison University. All the best, David!
Jan 1, 2024 Proud advisor moment II: My former Ph.D. advisee Ankush Das has started as tenure-track Assistant Professor at Boston University. All the best, Ankush!
Dec 20, 2023 An extended version of our POPL ‘21 article Modeling and Analyzing Evaluation Cost of CUDA Kernels will appear in ACM Transactions on Parallel Computing (TOPC).
Sep 1, 2023 Carnegie Mellon undergraduate students Lauren Sands and Nathan Glover have joined the group.

Show all news