Computer-Aided Program Development Institute of Computer Science Faculty of Engineering, Christian-Albrechts-University of Kiel

Prof. Dr. R. 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

Some selected publications