Directory

Jan Hoffmann is an assistant professor in Carnegie Mellon University’s Computer Science Department, and a member of Cylab and the Principles of Programming (PoP) group. His research areas are programming languages and verification. His mission is to discover beautiful mathematical ideas that have a real-world impact, shape the way programmers think, and help to create better software. Hoffmann is currently working on projects involving quantitative verification, type systems, static resource analysis of programs, probabilistic programming, proof assistants, and decision procedures.

Office
9105 Gates and Hillman Center
Phone
412.268.6309
Email
jhoffmann@cs.cmu.edu
Google Scholar
Jan Hoffmann
Websites
Jan Hoffmann’s website

Education

2011 Ph.D. in Computer Science, Ludwig-Maximilians-Universität and TU Munich

2007 M.S. in Computer Science, Ludwig-Maximilians-Universität

Affiliations