Jan Hoffmann
Assistant Professor, Computer Science Department
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.
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
Research Interests
- AI and ML for security
- Applications of security and privacy
- blockchain
- cryptography
- cyber physical systems security and privacy
- embedded systems security
- Formal methods
- formal methods for security
- formal verification
- hardware security
- language-based security
- security
- software security
- systems security
- verification
Media mentions
CyLab Security and Privacy Institute
How CyLab researchers are safeguarding digital transactions
A new programming language developed by CyLab Ph.D. student Ankush Das aims to reduce the number of errors made in smart contracts.