Welcome to the Chair of Computer Architecture
News
-
Keynote at KLEE Workshop 2026, Oct. 2026
-
Distinguished CAV’26 paper
Liveness Proofs for Hardware Model Checking
Nils Froleyks, Emily Yu, Bart Bogaerts, Armin Biere, Keijo Heljanko
[ paper | certificate ] -
Robert Jones, Amazon Web Services
Cloud-Scale Automated Reasoning at Amazon
Thursday, June 11, 2026, 10:00 - 11:00, TF SR 00-017/19 Geb. 101
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, SMT, model checking and theorem proving.
These techniques have broad application in hardware and
software development and verification, as well as
in optimization and particularly in artificial intelligence.