Eine interaktive GUI für die constraint-basierte Stundenplanung
(Bachelorarbeit, in Bearbeitung, 2012)

Implementierung eines Lager- und Transportszenarios mit Lego
Mindstorm-Robotern (Bachelorarbeit, in Bearbeitung, 2012)

Verteilte Nebenläufige Constraint-Programmierung
(Masterarbeit, in Bearbeitung, 2012)

Dienstplanerstellung und -Optimierung mit Choco
(Bachelorarbeit, in Bearbeitung, 2012)

Grafische, interaktive Produktkonfiguration mit
Finite-Domain-Constraints (Diplomarbeit, abgeschlossen, 2011)

Ein Interpreter für die funktional-reaktive Sprache Tempus
(Diplomarbeit, abgeschlossen, 2011)

Constraint-Programmierung mit Haskell -- Modellierung
exklusiver Ressourcenbelegung mit MCP (Bachlorarbeit, abgeschlossen,
2011, Publikation "f Monadische Constraint-Programmierung")

Stundenplanung mit Choco
(Studienarbeit, abgeschlossen, 2011)