About me

I am a Tenure-Track Assistant 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 formal methods. I am specifically interested in quantitative verification, type systems, static resource analysis of programs, proof assistants, and decision procedures.

Before joining Carnegie Mellon, I was an Associate Research Scientist in the FLINT group at the Department of Computer Science of Yale University.

Before that, I was a PhD student in the Theoretical Computer Science group at LMU Munich and a scholar of the DFG Research Training Group PUMA. My advisor was Martin Hofmann.

Photo of Jan

More Info

Current Students and Post-Docs

Ankush Das (PhD Student)

Chan Ngo (Post-Doc)

Yue Niu (Undergraduate)

Quentin Carbonneaux (PhD Student at Yale; with Zhong Shao)

Past Students

Benjamin Lichtman (Undergraduate; now Software Engineer at Microsoft)


e-mail jhoffmann (at) cmu (dot) edu
phone +1 412 268 6309
office GHC 9105
address Computer Science Department
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213-3891