[ 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).

Winter Semester 2024

Planned (links still point to previous 2023 winter semester):

• Debugging and Fuzzing

• Computer Architecture

• Seminar (topic TBA)

• 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 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