Rechnergestützte Programmentwicklung Institut für Informatik Technische Fakultät, Christian-Albrechts-Universität zu Kiel

Prof. Dr. R. Berghammer

Postanschrift: Christian-Albrechts-Universität zu Kiel Institut für Informatik Olshausenstraße 40 D-24098 Kiel Besucheradresse: Christian-Albrechts-Platz 4 / Zimmer 708 D-24118 Kiel Telefon: ++49-431 880-72 72 Telefax: ++49-431 880-76 13 E-Mail: rub@informatik.uni-kiel.de

Arbeitsgebiete

• Programmiersprachen und formale Programmentwicklung
• Relationen-basierte Kalküle und ihre Anwendung in der Informatik
• Werkzeugunterstützung für Spezifikation, Entwicklung und Verifikation
• Anwendung von Graphen in der Informatik

Kurzbiographie:

• 24. August 1952 geboren in Oberndorf, Deutschland
• 1973 Abitur
• 1973 - 1979 Studium Mathematik und Informatik an der Technischen Universität München
• 1979 Diplomprüfung (unter der Betreuung von G. Tinhofer) an der Technischen Universität München
• 1979 - 1984 Wiss. Assistent am Institut für Informatik der Technischen Universität München
• 1984 Promotion (unter der Betreuung von G. Schmidt) an der Technischen Universität München
• 1984 - 1988 Akademischer Rat a. Z. am Institut für Informatik der Technischen Universität München
• 1988 - 1991 Wiss. Assistent an der Fakultät für Informatik der Universität der Bundeswehr München
• 1990 Habilitation an der Universität der Bundeswehr München
• 1991 - 1993 Privatdozent an der Fakultät für Informatik der Universität der Bundeswehr München
• 1993 Vertretung einer Professur an der Fakultät für Wirtschafts- und Organisationswissenschaften der Universität der Bundeswehr München
• seit 1993 Professor für Informatik am Institut für Informatik und Praktische Mathematik der Universität zu Kiel

Publikationsliste

Einige ausgewählte Publikationen