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:
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!