Jan Hoffmann
Scholar

Jan Hoffmann

Google Scholar ID: 0Kvq4bUAAAAJ
Carnegie Mellon University
Programming LanguagesFormal MethodsSoftware Security
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,675
 
H-index
22
 
i10-index
37
 
Publications
20
 
Co-authors
34
list available
Contact
No contact links provided.
Publications
3 items
Handling Exceptions and Effects with Automatic Resource Analysis
2026
Cited
0
Efficient Cost Bounds with Linear Maps
2025
Cited
0
Big-Stop Semantics: A Simple Way to Get the Benefits of Small-Step Semantics in a Big-Step Judgment
2025
Cited
0
Resume (English only)
Co-authors
34 total
Zhong Shao
Zhong Shao
Yale University
Ankush Das
Ankush Das
Assistant Professor, Boston University
Frank Pfenning
Frank Pfenning
Professor of Computer Science, Carnegie Mellon University
Thomas Reps
Thomas Reps
J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin
David M Kahn
David M Kahn
Assistant Professor, Denison University
Marco Gaboardi
Marco Gaboardi
Boston University
Co-author 7
Co-author 7
Sam Buss
Sam Buss
Professor of Mathematics and Computer Science