About us

The department was established in April 2010 at the Department of Electrical Engineering/Computer Science at the University of Kassel under the original name "Formal Methods and Software Verification". In November 2013, this was renamed "Theoretical Computer Science / Formal Methods". In our research, we mainly deal with formal specification and verification of dynamic systems. Another focus is on the didactics of computer science, in particular tool-supported teaching.

The department participates in the education of computer science students through lectures, laboratories and seminars, especially in the field of theoretical computer science. We offer interested students the opportunity to carry out a project or thesis related to our research work at our department.