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

Fields of interest

  • relation algebra
  • graph algorithms
  • software verification
  • automated and interactive theorem provers