Teaching

Courses in the winter semester 2005/2006

• Proseminar "Historische Innovationen der Informatik"
• Lecture "Fortgeschrittene Aspekte objektorientierter Programmierung"
• Lecture "Übersetzung von Programmiersprachen"
• Oberseminar

Project and Diploma theses

Project theses

• Project thesis: Auswertung von Subversion-Repositories
• Project thesis: Entwurf und Implementierung eines Eclipse-PlugIns für die Spezifikationssprache Katja
• Project thesis: Portierung einer Java-Integer-Formalisierung von Isabelle2003 auf Isabelle2005

Diploma theses

• Diploma thesis: Formalisierung von Korrektheits- und Vollständigkeitsbeweisen einer Hoare-Logik im interaktiven Theorembeweiser Isabelle/HOL