Welcome to the Chair of Computer Architecture

After the transition to Prof. Armin Biere the home page of the previous chair Prof. Bernd Becker
for computer architecture can be found at https://ira.informatik.uni-freiburg.de.

News

• Kissat wins three gold medals in the main track of the SAT Competition 2024

• Herbrand Award in 2024 goes to Armin Biere

• Hardware Model Checking Competition 2024 (HWMCC’24) with FMCAD’24

• First report on The SAT Museum with webpage, solvers and detailed results

• Talk Tuesday 10th Oct. 14:00 by Daniel Kröning on “Automated Reasoning at AWS”

• DAC Most Influential 1990s Paper at 60th DAC’23 for our DAC’99 paper
  Symbolic Model Checking using SAT procedures instead of BDDs
  A. Biere, A. Cimatti, E.M. Clarke, M. Fujita and Y. Zhu

• Two medals in the SAT Competition 2023 for CaDiCaL_vivinst by Florian Pollitt

• Test-of-Time Award at SAT’23 for our SAT’04 paper
  Resolve and Expand by Armin Biere on Quantor

• Highlighted Paper at SAT’23
  IPASIR-Up: User Propagators for CDCL by
  K. Fazekas, A. Niemetz, M. Preiner, M. Kirchweger, S. Szeider, A. Biere
  joint work with TU Wien and Stanford University

• Invited talk Prof. Martina Seidl on Beyond NP: Reasoning with Quantified Boolean Formulas,
  Thursday, April 20, 2023, 09:00 - 10:00, TF Geb. 101 SR 2-16/18

• 26. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und
  Verifikation von Schaltungen und Systemen (MBMV’23)

Mission

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.