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:
Also this summer term, we offer a project as part of the bachelor course "Software Engineering Practice". On May 4, 2018, the project of summer term 2018 on the topic "Blockchain-based E-Voting" started. Within this project, a team of five bachelor students develops a complete software project according to the state of the art in software engineering. This semester, we use the permissioned Blockchain technology Hyperledger Fabric to realize traceable electronic elections by using a distributed ledger.