HOME | ENGLISH | IMPRESSUM | KIT

Dr. rer. nat. Joachim Breitner

photo

Kontakt

Email: >>Bitte hier klicken<<

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

2017

2016

2015

2014

2013

2012

2011

2010

Projekte

Betreute Studien- und Abschlussarbeiten

laufend

abgeschlossen

Bearbeitete Studien- und Abschlussarbeiten

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