Vorlesungen

SS 2009

• Grundlagen Algorithmen und Datenstrukturen
• Virtuelle Maschinen

WS 2008/2009

• Programm-Optimierung
• Einführung in die Informatik 2

• Language based security

SS 2008

• Einführung in die Informatik 2 - Wiederholungsübung
• Einführung in die Informatik 1 - Wiederholungspraktikum
• Compilerbau

• Virtuelle Maschinen

WS 2007/2008

• Programm-Optimierung
• Einführung in die Informatik 1

• Language based security

SS 2007

• Einführung in die Informatik 2
• Einführung in die Informatik 1 - Wiederholungspraktikum
• Compilerbau

• Virtuelle Maschinen

WS 2006/2007

• Programm-Optimierung
• Einführung in die Informatik 1

• Programmiersprachen

SS 2006

• Abstrakte Maschinen
• Compilerbau

• Language based security

• Mündliche Prüfung zu "Einführung in die Informatik II vom SoS 05"

• Übung zu "Einführung in die Informatik II vom SoS 05"

WS 2005/2006

• Cryptographic Protocols

• Programmiersprachen

• Klausur zu "Einführung in die Informatik 1 vom WS 04/05"

• Übung zu "Einführung in die Informatik 1 vom WS 04/05"

SS 2005

• Compilerbau
• Einführung in die Informatik 2

• Abstrakte Maschinen

WS 2004/2005

• Programm-Optimierung
• Einführung in die Informatik 1

• Fundamental Algorithms

SS 2004

• Compilerbau
• Abstrakte Maschinen

• Tree automata

WS 2003/2004

• Programm-Optimierung

• Verification of Cryptographic Protocols