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

[ thesis | projects ]

Teaching

Thesis and Projects

For projects and thesis we have an experimental chart with different subjects (and no topics).

Summer Semester 2025

Planned courses:

• Programming in C++

• Program Verification in Isabelle

• SAT solving

(Technische Informatik will be given by Christoph Sholl and Tobias Seufert)

Winter Semester 2024

• Debugging and Fuzzing

• Computer Architecture

• Proseminar (arithmetic circuit verification)

• The missing semester: Linux, Bash, and git

Summer Semester 2024

• Technische Informatik

• Program Verification in Isabelle

• SAT solving

• Test and Reliability

Winter Semester 2023

• Debugging and Fuzzing

• Computer Architecture

• Seminar Automated Reasoning and Machine Learning

• The missing semester: Linux, Bash, and git

• Introduction to Embedded Systems (exercises for Tobias Paxian)

• Verifikation Digitaler Schaltungen / Verification of Digital Circuits (Christoph Scholl and Ralf Wimmer)

Summer Semester 2023

• Programming in C++

• SAT solving

• The missing semester: Linux, Bash, and git     CANCELLED

• Test and Reliability

Winter Semester 2022 / 2023

• Debugging and Fuzzing

• Computer Architecture

• Seminar Higher Order Theorem Proving with Isabelle

Summer Semester 2022

• Technische Informatik

• SAT Solving

• Program Verification in Isabelle

• Test and Reliability

• Pro-Seminar Decision Diagrams

Winter Semester 2021 / 2022

• Computer Architecture

• Verification of Digital Circuits