Our main research topic is the practical application of logic and formal methods for the specification and verification of software. In particular, we address the following application areas:
In a new teaching laboratory, tools and programs are being developed for computer science teaching - developers orient themselves directly towards the needs of pupils and teachers.
In order to master the challenges of digitization as adults, pupils need a broad basic education in computer science. However, teachers often lack the right tools to teach subjects such as software development or IT security. In the new open-source teaching software laboratory at the Karlsruhe Institute of Technology (KIT), students will gain practical experience in the development of open-source software and at the same time develop materials for teaching computer science.