Hier werden Informationen zur Forschung stehen.

Zusammen mit dem Lehrstuhl für Theoretische Informatik richten wir ein gemeinsames Forschungskolloquium aus.

Kürzliche und gegenwärtige Aktivitäten in Programm- und Steuerungskomitees:

Mehr zu früheren Aktivitäten hier.

Auch aktiv als Mitglied der IFIP Working Group 2.1 on Algorithmic Languages and Calculi.

Frühere Publikationen finden sich auf einer alten Webseite.