Welcome to the website of the chair Formal Methods in Computer Science!

The chair is part of the Department of Computer Science and Applied Cognitive Science and the Faculty of Engineering. It is led by Prof. Dr. Janis Voigtländer.