About

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