Teaching

Courses

Summer term 2024

• Bachelor/Master Project “Software Engineering”

Winter term 2023/24

• Lecture “Grundlagen der Programmierung”

• Lecture “Verified Functional Programming”

• Seminar “Software Engineering”

Summer term 2023

• Programmierpraktikum
• Lecture “Functional Programming”

Winter term 2022/23

• Lecture “Grundlagen der Programmierung”

• Lecture “Verified Functional Programming”

Summer term 2022

• Programmierpraktikum
• Lecture “Formal Languages and Computability”
• Lecture “Functional Programming”
• Lecture “Programming Distributed Systems”
• Project “Software Engineering”

Winter term 2021/22

• Lecture “Grundlagen der Programmierung”

• Lecture “Replication and Consistency”

• Project “Software Engineering”

Summer term 2021

• Programmierpraktikum
• Lecture “Functional Programming”
• Lecture “Programming Distributed Systems”
• Seminar “Software Engineering”

Winter term 2020/21

• Lecture “Grundlagen der Programmierung”

• Lecture “Compiler and Language Processing Tools”

• Seminar “Software Engineering”

Summer term 2020

• Programmierpraktikum
• Lecture “Programming Distributed Systems”
• Bachelor Project “Software Engineering”

Winter term 2019/20

• Lecture “Grundlagen der Programmierung”

• Lecture “Replication and Consistency”

• Project “Software Engineering”

Summer term 2019

• Programmierpraktikum
• Lecture “Functional Programming”
• Lecture “Programming Distributed Systems”
• Bachelor- and Master-Seminar Software Engineering
• Vorlesung “Programmieren in Anwendungen”
• Programmierprojekt für Hörer anderer Fachrichtungen

Winter term 2018/19

• Lecture “Grundlagen der Programmierung”

Summer term 2018

• Lecture “Functional Programming”
• Lecture “Programming Distributed Systems”
• Lecture “Programmieren in Anwendungen”
• Course “Training for Programming Contests”
• Master Seminar “Software-Engineering”
• Programmierprojekt