Till Mossakowski: Supervised theses

Supervised PhD theses

• Andreas Beck (1999). The liar lies and snow is white (informal supervision)
• Morten P. Lindegaard (2004). Proof support for Raise. A reuse approach based on institutions (informal supervision)

Supervised diploma theses

• Dennis Walter (2005). Monadic Dynamic Logic: Application and Implementation
• Tina Krausser (2005). Hoare-Logik für monadische Berechnungen
• Thomas Soller (2005). Spezifikation und Integration von qualitativem Orientierungswissen
• Sonja Gröning (2005). Beweisunterstützung für HasCASL in Isabelle/HOL
• Andreas Daniel (2004). Interaktive Realisierung eines Algorithmus zur Kostenoptimierung von Flüssen (second referee, supervisor: Prof. Dr. Hans-Jörg Kreowski)