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.
|phone||+1 412 268 6309|
|address||Computer Science Department
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3891
|Jul 2, 2021||Our article Automatic Resource Analysis with the Quantum Physicist’s Method has been accepted to ICFP 2021.|
|Jun 25, 2021||Check out our new paper Nomos: A Protocol-Enforcing, Asset-Tracking, and Gas-Aware Language for Smart Contracts, which describes the Nomos implementation and blockchain-specific features. You can try out the language in the Nomos web interface.|
|Jun 1, 2021||I’m excited about our work on probablisitic session types. A paper draft is available here.|
|May 15, 2021||I’m looking forward to serving on the POPL 2022, FoSSaCS 2022, and LICS 2022 programm committees. Consider submitting a paper!|
|Apr 2, 2021||Our articles Central Moment Analysis for Cost Accumulators in Probabilistic Programs and Sound Probabilistic Inference via Guide Types have been accepted to PLDI 2021.|
|Nov 4, 2020||The articles Modeling and Analyzing Evaluation Cost of CUDA Kernels and A unifying type-theory for higher-order (amortized) cost analysis have been accepted to POPL 2021.|
|Oct 25, 2020||We have created a website for Nomos. It’s still work in progress but you can already implement, type-check, and run smart contracts using an interactive web interface.|
|Oct 20, 2020||I’m excited that John Grosen has joined my group as a PhD student. Welcome to Carnegie Mellon, John!|