About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Prof. Heiko Vogler

Professor for Foundations of Programming

Heiko Vogler
Heiko Vogler
Heiko Vogler studied Computer Science at the Technical University of Darmstadt and the Aachen University of Technology from 1975 to 1981. His postgraduate grant was sponsored by the German Academic Exchange Service (DAAD) for research studies at the Twente University of Technology, Netherlands (1981-1982). In 1983 he started a research fellowship sponsored by the Dutch Organization for Pure Research for research studies at the Twente University of Technology and the University of Leiden, which he finished in 1986.

He took the doctoral thesis on "Tree Transducers and Pushdown Machines" at the Twente University of Technology in 1986 and continued with the post-doctoral thesis (Habilitation) on "Functional Programming with Primitive Recursion - Formal Models for Reduction Semantics" at the Aachen University of Technology in 1990.

From 1991 to 1994 he worked as a professor for Theoretical Computer Science at the University of Ulm. Since 1997 he is the chairman of the PhD Program "Specification of Discrete Processes and Process System by Operational Models and Logic" at the Dresden University of Technology and was dean of the Computer Science Department there from 1997 to 2000.

His research interests include automata theory (in particular, the automata and tree transducers), attribute grammars and functional programming.

For further information, see the Web pages of his group.