Arbeitsgruppe Rechnergestützte Programmentwicklung (bis 31.03.2018)

Forschungsinteressen

  • Relationenalgebra
  • Graphalgorithmen
  • Softwareverifikation
  • Automatische und interaktive Theorembeweiser