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

The chair is part of the Department of Core Informatics in the Faculty of Computer Science. It is led by Prof. Dr. Janis Voigtländer.