Ü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