Jan Hoffmann
Associate Professor of Computer Science
I am an Associate 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 verification. My mission is to discover beautiful mathematical ideas that have a real-world impact, shape the way programmers think, and help to create software that is more reliable, efficient, and secure. Currently, I am working on quantitative verification, type systems, static resource analysis of programs, probabilistic programming, and programming languages for digital contracts.
Before joining Carnegie Mellon, I was an Associate Research Scientist in the FLINT group at the Department of Computer Science at Yale University. Before that, I was a PhD student at LMU Munich. My advisor was Martin Hofmann.
news
Jan 2, 2024 | Proud advisor moment III: My Ph.D. advisee David Kahn has accepted a tenure-track Assistant Professor position at Denison University. All the best, David! |
Jan 1, 2024 | Proud advisor moment II: My former Ph.D. advisee Ankush Das has started as tenure-track Assistant Professor at Boston University. All the best, Ankush! |
Dec 20, 2023 | An extended version of our POPL ‘21 article Modeling and Analyzing Evaluation Cost of CUDA Kernels will appear in ACM Transactions on Parallel Computing (TOPC). |
Sep 1, 2023 | Carnegie Mellon undergraduate students Lauren Sands and Nathan Glover have joined the group. |
Aug 1, 2023 | Together with Feras Saad, I received an NSF award for an exciting new project on Language Support for Sound and Efficient Programmable Inference. Thanks NSF! |
Apr 28, 2023 | Our article (with Jessie Grosen and David Kahn) Automatic Amortized Resource Analysis with Regular Recursive Types will appear at LICS 2023. |
Feb 24, 2023 | I have been promoted to Associate Professor with Indefinite Tenure in Carnegie Mellon’s Computer Science Department (effective in July). Many thanks to my CSD colleagues and everybody else who supported me. |
Jan 1, 2023 | Ankush Das will present our paper Probabilistic Resource-Aware Session Types at POPL 2023. |
coordinates
jhoffmann@cmu.edu | |
phone | +1 412 268 6309 |
office | GHC 9105 |
address | Computer Science Department Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213-3891 |