Über uns

Willkommen im Fachgebiet „Theoretische Informatik / Komplexe Systeme“ am Fachbereich Elektrotechnik und Informatik der Universität Kassel.

 

Unsere aktuelle Forschung umfasst folgende Themen:

  •     Verifikation von Infinite-state Systemen
  •     Automaten und Logik in der Informatik
  •     Komplexität