Chair for Foundations of Software Reliability and Theoretical Computer Science