Jan Hoffmann

I am a Postdoctoral Associate in the FLINT Group at the Department of Computer Science of Yale University.

My research interests include verification of low-level code, type systems, quantitative resource analysis of programs, theorem proving, algorithmic game theory, and SAT solving.

Prior to joining Yale, I was a PhD student inTheoretical Computer Science Group at LMU Munich and a scholar of the DFG Research Training Group PUMA. My advisor was Martin Hofmann.

Before that, I studied computer science at the LMU as a scholar of the German National Academic Foundation.

Photo of Jan

Coordinates

e-mail uni (at) hoffjan . de
GnuPG Key
phone +1 (203) 432 1267
office E105
address Department of Computer Science
Yale University
51 Prospect Street
06511 New Haven, CT
USA

Projects

  • Resource Aware ML: A functional programming language that automatically computes resource bounds at compile time.

Theses

Journal Papers

Conference Papers

Drafts and Technical Reports

Recent Teaching

Misc

  • My Erdös number is 3 due to the path JH - Samuel R. Buss - Shlomo Moran - PE.

News

I successfully defended my doctoral thesis on October 14, 2011. My dissertation with the title Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis is available online. It contains a thorough informal introduction to my research topic.

The final version of our article on Higher-Order Functional Reactive Programming in Bounded Space (joint work with Neel and Nick) is now online.

Klaus, Martin, and I submitted a draft of the full version of our POPL'11 paper on Multivariate Amortized Resource Analysis.

For my grad school, I wrote a non-technical paper that shows the advanteges of automatic resource analysis. It compares the analysis of sorting algorithms in RAML with Knuth's manual analysis in The Art of Computer Programming.