Fields of Research
- Programming languages and formal program derivation
- Relation-based calculi and their applications in Computer Science
- Tool support for specification, development and verification
- Use of graphs in Computer Science
Prof. Dr. Rudolf Berghammer
Group leader
Christian-Albrechts-Platz 4, R. 708 (CAP 4)
Phone:
+49 431 880-7272
Telefax:
+49 431 880-7613
rub@informatik.uni-kiel.de
Biography
- August 24th, 1952 born in Oberndorf, Germany
- 1973 German "Abitur"
- 1973 - 1979 Study of Mathematics and Computer Science at the Technische Universität München
- 1979 Diploma Examination (under the supervision of G. Tinhofer) at the Technische Universität München
- 1979 - 1984 Research assistent at the Department of Informatics at the Technische Universität München
- 1984 Doctorate (under the supervision of G. Schmidt) at the Technische Universität München
- 1984 - 1988 Academic assistent at the Department of Informatics at the Technische Universität München
- 1988 - 1991 Research assistent at the Department of Computer Science of the University of the Federal Armed Forces in Munich
- 1990 Habilitation at the University of the Federal Armed Forces Munich
- 1991 - 1993 Lecturer at the Department of Computer Science of the University of the Federal Armed Forces in Munich
- 1993 Substitution of a professorship at the Faculty of Economy of the German Armed Forces University Munich
- since 1993 Professor for Computer Science at the Institute of Computer Science and Applied Mathematics of the University Kiel