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

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.
Aug 1, 2023 Together with Feras Saad, I received an NSF award for an exciting new project on Language Support for Sound and Efficient Programmable Inference. Thanks NSF!
Apr 28, 2023 Our article (with Jessie Grosen and David Kahn) Automatic Amortized Resource Analysis with Regular Recursive Types will appear at LICS 2023.
Feb 24, 2023 I have been promoted to Associate Professor with Indefinite Tenure in Carnegie Mellon’s Computer Science Department (effective in July). Many thanks to my CSD colleagues and everybody else who supported me.
Jan 1, 2023 Ankush Das will present our paper Probabilistic Resource-Aware Session Types at POPL 2023.

Show all news