Skip to main content

Jan Hoffmann

Assistant Professor, School of Computer Science


Jan Hoffmann

Research Areas

Privacy Protection

Cross Cutting Thrusts

Usable Privacy and Security
Software Security
Formal Methods


Jan Hoffmann is a Tenure-Track Assistant Professor of Computer Science at Carnegie Mellon University.  He received his PhD in 2011 from LMU Munich under the direction of Martin Hofmann.  His research interests are in the intersection of programming languages and formal methods with a focus on quantitative properties of software.  He is known for his work on automatic static cost analysis of programs and the design and implementation of Resource Aware ML.  His current research is funded by NSF, DARPA-STAC, and a Google Research Award. It includes projects such as automatic resource regression analysis and finding space/time vulnerabilities in Java bytecode.  Hoffmann has been supported by scholarships of the German Research Foundation (DFG) and the German National Academic Foundation (Studienstiftung). In the past five years, he coauthored 16 peer-reviewed articles that appeared at the most prestigious venues of formal-method and programming-language research, including POPL, PLDI, LICS, CAV, and ESOP. Hoffmann's full CV and publication list can be found at .