Chair of Computer Architecture

University of Freiburg


[ summer 2023 | winter 2022 | summer 2022 | winter 2021 ]

Summer Term 23

title: Teaching SS23 layout: default —

Upcoming lectures:

Winter Term 2022/23

Computer Architecture

Debugging and Fuzzing

Higher Order Theorem Proving with Isabelle

Summer Term 2022


Technische Informatik

SAT Solving

Program verification in Isabelle

Test and Reliability

Pro-Seminar Decision Diagrams

Winter Term 2021/22

Computer Architecture

Verification of Digital Circuits