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.
Sarah Grebing very successfully defended her PhD on 2019-02-07. Her dissertation is on "User Interaction in Deductive Interactive Program Verification".
Cordial congratulations from all her colleagues!