PhD position / Promotionsstelle

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 19/20:

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