Chair of Computer Architecture

University of Freiburg

Welcome to the Chair of Computer Architecture

We develop methods and tools to ensure the correctness, reliability and robustness of circuits and systems, from initial design through manufacturing and deployment.

Our focus is on using logic, more precisely symbolic techniques and tools for precise automated reasoning, including SAT, model checking and theorem proving. These techniques have broad application not only in hardware and software development and in general verification but also in optimization and particularly artificial intelligence.

After the transition from Prof. Bernd Becker to Prof. Armin Biere we are currently in the process of setting up this new web-site. The previous home page of the chair for computer architecture can be found at