Arbeitsgruppe Rechnergestützte Programmentwicklung (bis 31.03.2018)

Arbeitsgebiete

  • Programmiersprachen und formale Programmentwicklung
  • Relationen-basierte Kalküle und ihre Anwendung in der Informatik
  • Werkzeugunterstützung für Spezifikation, Entwicklung und Verifikation
  • Anwendung von Graphen in der Informatik
  •