Computer-Aided Program Development Group

Fields of interest

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