Joachim Breitner

Joachim Breitner

On stage

Welcome!

Currently I have the priviledge to be working on the Lean theorem prover, as a Principle Research Software Engineer with the Lean FRO. Before that I did a lot of things with Haskell and Isabelle, as a PhD student in Karlsruhe and as a post-doc at UPenn.

But maybe you are here because of my Tiptoi hacking project.

Beyond my technical work you will find me on standup-comedy stages (in particular in Freiburg, where I am hosting a regular show), on swing and tango dance floors and paragliding up in the air.

Latest blog entries

Posts by topic

All