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

Thesis and Projects

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

Teaching

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 REALLY HAPPENING THIS TIME

• 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