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

2018

2017

  • Der Grader Praktomat
    Automatisierte Bewertung in der Programmierausbildung 2017, pp. 159-172 : J. Breitner, M. Hecker, G. Snelting

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.