Herbert Klaeren
Curriculum vitae
Education
- Diploma in Mathematics with Informatics (Computer Science) as
secondary subject (Bonn, 1974)
- Doctorate in Informatics (RWTH Aachen, 1980). Title of
thesis: Eine Klasse von Algebren mit struktureller Rekursion und
ihre Anwendung bei der abstrakten Software-Spezifikation (A class
of algebras with structural recursion and its application to abstract
software specification)
- Habilitation in Informatics (RWTH Aachen, 1988). Title of
thesis: Ein algebraischer Ansatz zur Rekursionselimination (An
algebraic approach to recursion elimination)
Employment
- 1975-1976
- Research assistant at Rheinische
Friedrich-Wilhelms-Universität Bonn
- 1976-1988
- Research assistant at RWTH (Rheinisch-Westfälische
Technische Hochschule) Aachen
- 1988-
- Professor of Informatics at Eberhard-Karls-Universität Tübingen
Research interests
- Efficient implementation of functional languages
- Software specification languages
- Formal methods in software development
- Compiler technology
- Software tools
Publications
Back to my home page
or to the WSI/PU home page.
Herbert Klaeren (klaeren@informatik.uni-tuebingen.de)
Last modified: Tue Jan 25 19:56:25 Westeuropäische Normalzeit 2005