HOME | ENGLISH | IMPRESSUM | KIT

Dr. rer. nat. Joachim Breitner

photo

Kontakt

Email:

Arbeitsgebiete

Ich beschäftige mich vor allem mit funktionaler Programmierung, insbesondere Haskell, gerne auch mit einer Prise formaler Verifikation und Theorembeweisprüfer.

Aktuelle Position

Ich bin inzwischen weitergezogen und arbeite als Post-Doc an der University of Pennsylvania in Philadelphia, wo ich natürlich auch eine Mitarbeiter-Homepage habe. Ggf. ist auch meine private Homepage von Interesse.

Aktivitäten

Lehre

Veröffentlichungen

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

Projekte

Betreute Studien- und Abschlussarbeiten

abgeschlossen

Bearbeitete Studien- und Abschlussarbeiten

Vorträge und weitere Publikationen sind auf meiner privaten Publikationsseite aufgeführt.