Arbeitsgebiete

Compilerbau
Beschreibungssprachen

Bearbeitete Studien- und Diplomarbeiten

		Diplomarbeit
		Eine strukturell operationale Semantik für static-single-assignment Sprachen (abgeschlossen)
		Studienarbeit
		Entwurf und Implementierung einer Schnittstelle für SSA-Sprachen (abgeschlossen)

Veröffentlichungen

		2005
		Humbert, Entwurf und Implementierung einer Schnittstelle für SSA-Sprachen