About us

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 focus is on the formal specification and verification of dynamic systems. A second focus is on didactics of computer science in higher eduction, in particular tool-assisted learning.

The research group contributes to the computer science Bachelor and Master curricula by regularly offering courses, laboratories and seminars, mainly in theoretical computer science. We welcome students who would like to carry out project or thesis work at our department on a topic related to our current research.