Computer-Aided Program Development Group

Prof. Dr. Rudolf Berghammer

Group leader

Christian-Albrechts-Platz 4, R. 708 (CAP4)
Phone: +49 431 880-7272
Telefax: +49 431 880-7613
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