Welcome to the Chair of Computer Architecture
News
-
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 -
Keynote at KLEE Workshop 2026, Oct. 2026
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.