If you are interested in a topic for a thesis, please contact Prof. Smolka or a researcher of the Lab whose work you find interesting.
As part of your thesis work, you will participate in our Graduate Seminar. You will give two talks in this seminar. In the first talk (15 min), you will explain the problem and how you want to approach it. In the second talk (30 min), you will present your submitted thesis.
When you start your thesis work, your supervisor will provide you with a problem specification (1 page). You will maintain a web page devoted to your thesis work. The problem specification, the thesis and related software and documentation will be made available through this page (see examples below).
Mathias Möhl,
2005,
Drawings as Models of Syntactic Structure: Theory and Algorithms
(Betreuer: Kuhlmann)
Christian Müller,
2004,
Run-time Byte Code Compilation,
Optimization and Interpretation for Alice
(Betreuer: Tack)
Patrick Cernko,
2004,
Realisierung einer Java Virtual Machine mit SEAM
(Betreuer: Brunklaus)
Guido Tack,
2003,
Transformation, Linearization and Minimization
of Data Graphs with Transients
(Betreuer: Smolka und
Kornstaedt)
Dag Kröper,
2002,
Konzeption und Realisierung eines Bibliotheksverwaltungssystems
(Betreuer: Schulte und
Smolka)
Martin Homik,
2002,
Ressourcenoptimierung eines Workflowproblems
(Betreuer: Schulte und
Müller)
Jan Schwinghammer,
2002,
A Concurrent Lambda-Calculus with Promises and Futures
(Betreuer: Niehren und Smolka)
Ralph Debusmann,
2001,
A Declarative Grammar Formalism For Dependency Grammar
(Betreuer: Duchier)
Manuel Bodirsky,
2001,
Beta Reduction Constraints
(Betreuer: Niehren)
Gerhard Schneider,
2000,
ML mit Typklassen
(Betreuer: Rossberg und Kornstaedt)
Thorsten Brunklaus,
2000,
Der Oz Inspector - Browsen: Interaktiver, einfacher, effizienter
(Betreuer: Schulte)
Tim Priesnitz,
2000,
Entailment von nicht-strukturellen Teiltyp-Constraints
(Betreuer: Niehren)
Daniel Simon,
1999,
An Implementation of the Programming Language DML in Java: Runtime Environment
(Betreuer: Kornstaedt)
Andy Walter,
1999,
An Implementation of the Programming Language DML in Java: Compiler
(Betreuer: Kornstaedt)
Alexander Koller,
1999,
Constraint Languages for Semantic Underspecification
(Betreuer: Niehren)
Benjamin Lorenz,
1998,
Ein Debugger für Oz
(Betreuer: Kornstaedt und Scheidhauer)
Leif Kornstaedt, 1996,
Definition und Implementierung eines
Front-End-Generators für Oz
(Betreuer: Schulte)
Kai Ibach, 1995,
OzFun: Eine funktionale Sprache für
gemischte Eager- und Lazy-Programmierung
(Betreuer: Niehren)
Frank Zenner, 1995,
Anbindung einer grafischen Benutzerschnittstelle an Oz
(Betreuer: Mehl und Scheidhauer)
Bernhard Latz, 1994,
Eine interaktive Benutzerschnittstelle für Oz
(Betreuer: Smolka)
Stefan Jacobs, 1993,
Über Negation im logischen Programieren
(Betreuer: Smolka)
Markus Höhfeld, 1988,
Ein Schema für constraint-basierte relationale Wissensbasen
(Betreuer: Smolka, Uni KL)
Michael Schmitt, 1987,
Implementierung einer typisierten logischen Programmiersprache mit Gleichheit
(Betreuer: Smolka, Uni KL)