Apl. Prof. Dr. Ulrich Hertrampf retired from the department at the end of October 2023. Prof. Hertrampf joined Prof. Volker Diekert's group at the Institute for Formal Methods of Computer Science at the University of Stuttgart in 1997. Previously, Prof. Hertrampf received his PhD in computer science from Augsburg in 1987 and his habilitation from the University of Würzburg in 1994.
Significant role in shaping the department
Together with Prof. Volker Claus and Prof. Diekert, Ulrich Hertrampf taught the theoretical foundations of computer science at the department for decades. In research, the professors covered the entire spectrum of theoretical computer science; a large number of publications and highly regarded book publications testify to the quality of the research work done at the chair.
Prof. Stefan Funke pays tribute to Prof. Hertrampf at the same time as to Prof. Volker Diekert, who also recently retired: "With Professors Diekert and Hertrampf, two esteemed colleagues are leaving the department, who have played a significant role in shaping the department over the past decades."
PD Dr. Kufleitner takes over research and teaching
PD Dr. Manfred Kufleitner takes over Prof. Hertrampf's tasks in research and teaching.