Vorlesungsarchiv
WS 2020/2021
SS 2020
WS 2019/2020
- Softwaretechnik- & Softwarepraktikum
- Master-Vorlesung: Designing code analyses for large-scale software systems (DECA)
- Bachelor-Vorlesung: IT-Security
- Seminar Secure Systems Engineering
- Master-Vorlesung: Build It, Break It, Fix It
- Oberseminar Softwaretechnik
SS 2019
- Secure Software Engineering/BiBiFi
- C++ Programming
- Type Systems for Correctness and Security
- Proseminar: Softwareentwicklung für software-intensive Systeme
- Oberseminar Softwaretechnik
WS 2018/2019
SS 2018
WS 2017/2018
SS 2017:
- Softwaretechnik- & Softwarepraktikum
- Master-Vorlesung: Designing code analyses for large-scale software systems (DECA)
- Master-Vorlesung: Build It, Break It, Fix It
- Bachelor-Vorlesung: Modellbasierte Softwareentwicklung
- Proseminar: Modellbasierte Softwareentwicklung für software-intensive Systeme
- Oberseminar Softwaretechnik