Research Area Formal Methods and Algorithms

The research area "Formal Methods and Algorithmics" (ForMAl) consists of the three working groups "Software Development and Verification", "Safety-Critical Systems" and "Efficient Algorithms and Algorithm Engineering".

The focus of our research is on mathematical methods for the design, analysis and verification of algorithms and complex systems. In addition to the formal principles, we also investigate the practical relevance of procedures, for example through experimental evaluation or simulation. 

In teaching, we offer a wide range of events in the areas of formal methods and algorithms, from the basics in the areas of semantics and verification of programs and the complexity of algorithms to qualitative and quantitative model checking and efficient algorithms. In addition to events with an introductory character, we also offer more advanced lectures, seminars and project seminars from our research area. 

• Software Development and Verification - Prof. Dr. Markus Müller-Olm
• Safety-Critical Systems - Prof. Dr. Anne Remke
• Efficient algorithms and algorithm engineering - Prof Dr. Jan Vahrenhold