Arbeitsgebiete

Übersetzerbau
Optimierungen im Backend-Bereich

Seit 1.Oktober bin ich an der TU Berlin – hier die Adresse meiner neuen Homepage

Projekte

Abgeschlossen Aktionsplan Informatik CRS Eliteförderprogramm für Postdoktoranden

Betreute Studien- und Diplomarbeiten

		Studienarbeit
		Checker für Konstantenpropagierung in Compilern (abgeschlossen)
		Entwurf und Implementierung einer Schnittstelle für SSA-Sprachen (abgeschlossen)
		Evaluierung graphersetzungsbasierter Optimierungen (abgeschlossen)

Veröffentlichungen

		2005
		Kopp, Gesellensetter, Krämer, Wachsmuth, A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application
		Blech, Gesellensetter, Glesner, Formal Verification of Dead Code Elimination in Isabelle/HOL