D7nhcizubucqd0twlkig

Joachim Breitner

Ever since Joachim Breitner got infected with the Haskell fever in 2005, he has been an active part of the community, with many contributions to GHC. Lately, he is driving the GHC proposal process. He obtained a PhD in Karlsruhe, Germany, for the inception and formal verification of the Call Arity program transformation, and has worked as a post-doc with Stephanie Weirich at the University of Pennsylvania to make formal verification of Haskell practical.

Talks I've Given