Computer-Aided Program Development Group (until March 31st, 2019)

Prof. Dr. Rudolf Berghammer

Group leader (until March 31st, 2018)

Christian-Albrechts-Platz 4, R. 1109 (CAP 4)
Phone: +49 431 880-7296
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

Former staff members

  • Dr. Ralf Behnke
  • Dr. Stefan Bolus
  • Dr. Dr. Bernd Braßel
  • Prof. Dr. Jan Christiansen
  • Dr. Nikita Danilenko
  • Dr. Juan Duran
  • Dr. Martin Halfpap
  • Dr. Thorsten Hoffmann
  • Dr. Britta Kehden
  • Dr. Barbara Leoniuk
  • Erich Meyer
  • Dr. Ulf Milanese
  • Prof. Dr. Frank Neuman
  • Dr. Insa Stucke