Home | deutsch | Legals | Sitemap | KIT
Open Theses
Title Type Supervisor
Bachelor-/Master-/Studien-/Diplom-Arbeit
Hiwi-Stelle
Diplomarbeit
Diplomarbeit
Studienarbeit


In addition to the subjects presented here, other topics can be arranged.
Please contact a member of the group if you are interested in writing a thesis (Studien- or Diplomarbeit).

You find more open topics for theses on the pages of the chair "Application-oriented Formal Verification" of Prof. Beckert.
 

Abgeschlossene Arbeiten (2012)
Title Type Author Supervisor
Diplomarbeit

Timm Felden

Prof. Dr. P. H. Schmitt
Mattias Ulbrich



Abgeschlossene Arbeiten (2011)
Title Type Author Supervisor
Studienarbeit

Timm Felden



Abgeschlossene Arbeiten (2010)
Title Type Author Supervisor
Studienarbeit

Gregor Bethlen

Diplomarbeit

Alexander Pascanu

Studienarbeit

Daniel Peters



Finished Theses (2009)
Title Type Author Supervisor
Diplomarbeit

Roman Krenický

Diplomarbeit

Daniel Bruns



Finished Theses (2008)
Title Type Author Supervisor
Studienarbeit

Christopher Köker

Diplomarbeit

Denis Lohner

Diplomarbeit

Christoph Scheben



Finished Theses (2007, incomplete list)
Title Type Author Supervisor
Diplomarbeit

Benjamin Weiß

Diplomarbeit

David Faragó

Diplomarbeit

Mattias Ulbrich