Teaching

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

Summer Term 23

title: Teaching SS23 layout: default —

Upcoming lectures:

• The C++ lecture by Armin Biere and Mathias Fleury (mostly following the course by Hanna Bast in the past)

• SAT solving by Armin Biere and Bernd Gstrein

• CANCELLED: The missing semester: Linux, Bash, und git by Mathias Fleury, Bernhard Gstrein, and Tobias Paxian

• Test and Reliability by Ralf Wimmer and Tobias Paxian

Winter Term 2022/23

Computer Architecture

Debugging and Fuzzing

Higher Order Theorem Proving with Isabelle

Summer Term 2022

Teaching

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