Computer-Aided Program Development Group

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