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

List of publications (pdf)

List of publications (DBLP Trier)

Some selected publications