Joachim Breitner

I was a post-doctoral researcher at the University of Pennsylvania from August 2016 to July 2018, working under Stephanie Weirich.

Dr. Joachim Breitner
Programming Languages Group
Levine Hall 514
University of Pennsylvania
3330 Walnut Street
Philadelphia, PA 19104

My Name

If you want, you can try to pronounce my name correctly: It is yo-AH-kheem, where the kh is pronounced as in Scottish “loch”. For those who can read IPA: [joːˈaxɪm] describes it quite well.


My research interests revolve around functional programming, especially with Haskell, and interactive theorem proving, in particular with Isabelle.

I maintain a list of publications, including talks, on my personal website. You might prefer the shorter listing on DBLP or on Google Scholar.


In Fall 2016, I was giving the CIS 194 Haskell mini course.

Before coming to Penn, I taught at the computer science department (see list) and the math department (see list).


This list is no longer updated.


Some cool projects of mine that you should check out include the Incredible Proof Machine. My personal website lists more projects of mine, in particular the less academical ones.

Before coming to Philadelphia, I was working in the programming paradigms group of Gregor Snelting at the Karlsruhe Institute of Technology, and still have a homepage there.