Welcome to the research group "Theoretical Computer Science / Formal Methods"

The research group was established at the School of Electrical Engineering and Computer Science of the University of Kassel in April 2010 and originally named "Formal Methods and Software Verification". As of November 2013 it became the research group "Theoretical Computer Science / Formal Methods". The main research agendas comprise areas like computational logic with a particular emphasis on modal and temporal logics, model checking and game theory for program verification and analysis, abstraction, etc.

The research group contributes to the computer science Bachelor and Master curricula by regularly offering courses and seminars in the areas of logic for computer science, program verification, etc., as well as Bachelor and Master projects related to current research topics in such areas.