Jan Hoffmann is an Assistant Professor at Carnegie Mellon University’s Computer Science Department, where he is also involved with CyLab and the Principles of Programming (PoP) group. His research centers around programming languages and verification, aiming to discover beautiful mathematical ideas that have a real-world impact. Hoffmann's work is focused on shaping the way programmers think and helping to create better software. Currently, he is engaged in projects that include quantitative verification, type systems, static resource analysis for programs, probabilistic programming, proof assistants, and decision procedures.