About us

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

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