Teaching

WS 2019 / 2020

• Software Engineering I: Moodle, Lecture/Exercise, Project
• Static Program Analysis: Moodle, Lecture, Project
• Themen der sprachbasierten Sicherheit: Seminar, Project
• Research Seminar: Seminar, PULS

SS 2019

• Software Engineering II: Moodle, Lecture, Exercise
• Mobile Security: Moodle, Lecture, Project
• Object-Oriented Programming with C++: Moodle, Lecture, Exercise
• Research Seminar:  PULS,  Seminar

WS 2018 / 2019

• Software Engineering I: Moodle, Lecture, Exercise, Project
• Secure Information Flow: Moodle, Lecture, Exercise
• Research Seminar: PULS, Seminar
• Themen der sprachbasierten Sicherheit
• Compiler und Programmtransformation (Compiler and Program Transformation)

SS 2018

• Software Engineering II: Moodle, Lecture, Exercise
• Software Security: Moodle, Lecture, Practicum
• Static Program Analysis: Moodle, Lecture, Practicum
• Research Seminar: PULS, Seminar

WS 2017 / 2018

• Software Engineering I: Moodle, Lecture, Exercise, Project
• Object-Oriented Programming with C++: Moodle, Lecture, Exercise
• Hacking Lab: Moodle, Lecture, Praktikum
• Research Seminar
• Formal models inspired by nature

SS 2017

• Software Engineering II: Moodle, Lecture, Exercise
• Software Security: Moodle, Lecture, Practicum
• Research Seminar: PULS, Seminar
• Proseminar "Programming Paradigms": PULS
• Seminar "Computational Models Inspired by Nature": PULS

WS 2016 / 2017

• Software Engineering I: Moodle, Lecture, Exercise, Project
• Secure Information Flow: Moodle, Lecture, Exercise
• Research Seminar
• Compiler und Programmtransformation (Compiler and Program Transformation)