HOME | DEUTSCH | IMPRESSUM | KIT

Dr. rer. nat. Joachim Breitner

photo

Contact

Email: >>please click this text<<

Research interests

I mostly work on the field of Functional Programming, especially Haskell, and don’t mind some side-looks into formal verficiation and theorem proving.

Current Position

I have moved on and taken a post-doc position at the University of Pennsylvania in Philadelphia, where I have a institutional webpage. You might also be interested in my private website.

Activitis

Courses

Publications

2017

2016

2015

2014

2013

2012

2011

2010

Projects

Advised thesis projects

finished

Theses worked on

Talks and further publications can be found on my private publication page.