Welcome to the group "Theoretical Computer Science / Complex Systems" at the Department of Electrical Engineering and Computer Science of the University of Kassel. 

Our current research includes the following topics: 

  • verification of infinite state systems
  • automata and logic in computer science 
  • complexity 

Teaching in the winter term 18/19:

  •  Bachelor Course "Introduction to Computer Science"
  •  Master Seminar "Selected Topics in Theoretical Computer Science"