- 448.025 Microcontroller Design, Laboratory (’24, ’23, ’22, ’21, ’20, ’19, ’16)
- 448.025 Processor Architecture, Laboratory (’24, ’23, ’22, ’21, ’20)
- 448.093 Writing of Scientific Works, Seminar (’23/’24)
- 448.012 Computer Engineering, VU (lecture with integrated practicals, new in ’24/’25)
- Bachelor’s and Master’s thesis, seminar, and project supervision courses
You can find my Overleaf LaTeX Thesis template here.
Supervised Theses
- 2024: Bachelor’s Thesis: Design, Implementation and Usage of a Lightweight Boot Time Analysis Framework for ARM, Bernhard Messerklinger
- 2024: Master’s Thesis: Verification of Resource Management Protocols: From Code to Model, Tim Sagaster
- 2023: Bachelor’s Thesis: Wishbone Flash Programming in Dependable System, Florian Riedl
- 2022: Master’s Thesis: Design of a heterogenous, automotive multi-core system, Kristóf Kanics
- 2021: Bachelor’s Thesis: A Debug Module for an Embedded RISC-V Platform, Philip Ortlieb
- 2021: Bachelor’s Thesis: PapagenoPCB Module Design, David Rösel
- 2021: Bachelor’s Thesis: Generic Driver Management System for MCSmartOS, Alexander Deibel
- 2020: Bachelor’s Thesis: Driver Development for RTOS: SPI Driver for RISC-V, Lukas Fuchs
- 2019: Master’s Thesis: Conversion of Control Unit Software towards AUTOSAR Compliance, Vimal Sivashanmugam