Prof. Dr. Rudolf Berghammer

Postal Address:

Christian-Albrechts-Universität zu Kiel
Institut für Informatik
Olshausenstraße 40
D-24098 Kiel

Office Address:
Christian-Albrechts-Platz 4 / Room 708
D-24118 Kiel

Phone: ++49-431 880-72 72
Fax: ++49-431 880-76 13
E-mail: rub@informatik.uni-kiel.de

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

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

List of publications (pdf)

List of publications (DBLP Trier)

Some selected publications