Application-oriented Formal Verification Research Group
at the Institute of Theoretical Informatics (ITI)
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:
- verification of functional properties and software dependability
- verification of relational properties and software evolution
- verification of information-flow properties and IT security
- verification of social choice algorithms and voting rules
Mihai Herda very successfully defended his PhD on 2019-12-13. His dissertation is on "Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties".
Cordial congratulations from all his colleagues!