Seminare

SS 2009

• Proseminar Java für Fortgeschrittene
• Proseminar Malicious Code: Würmer, Viren und Co.

WS 2008

• Proseminar Malicious Code: Würmer, Viren und Co.
• Hauptseminar Codegenerierung

SS 2008

• Hauptseminar Codeanalyse und Codemanipulation
• Proseminar Java für Fortgeschrittene

WS 2006

• Seminar The Entscheidungsproblem

WS 2005

• Oberseminar Lehrstuhl Seminar

SS 2005

• Seminar Automatische Deduktion

• Oberseminar (nach Vereinbarung)
• Doktorandenseminar (nach Vereinbarung)

WS 2004/2005

• Seminar Transformation von XML-Dokumenten

• Oberseminar (nach Vereinbarung)
• Doktorandenseminar (nach Vereinbarung)

SS 2004

• Seminar Programmanalyse

• Oberseminar (nach Vereinbarung)
• Doktorandenseminar (nach Vereinbarung)

WS 2003/2004

• Oberseminar (nach Vereinbarung)
• Doktorandenseminar (nach Vereinbarung)