Teaching
Summer Term 2025
Winter Term 2024/25
- Grundlagen der Programmierung
(Fundamentals of Programming)
- Formale Grundlagen der Informatik (Theoretische Informatik I)
(Formal Foundations of Computer Science - Theoretical Computer Science I)
- Foundations of Computer Science
in the Master's programs Data Science and Cognitive Sytems
Summer Term 2024
- Praxis der Programmierung
(Programming in C, Object oriented Programming)
- Algorithmen und Datenstrukturen
(Algorithms and Datastructures)
Winter Term 2023/24
- Grundlagen der Programmierung
(Fundamentals of Programming)
- Naturwissenschaftlich motivierte formale Modelle
(Formal models inspired by nature)
- Foundations of Computer Science
in the Master's programs Data Science and Cognitive Sytems
Summer Term 2023
- Praxis der Programmierung
(Programming in C, Object oriented Programming)
- Algorithmen und Datenstrukturen
(Algorithms and Datastructures)
- Organisation von Fachveranstaltungen
Winter Term 2022/23
- Grundlagen der Programmierung
(Fundamentals of Programming)
- Compiler und Programmtransformation
(Compiler and Program Transformation)
- Foundations of Computer Science
in the Master's programs Data Science and Cognitive Sytems
Summer Term 2022
- Praxis der Programmierung
(Programming in C, Object oriented Programming)
- Algorithmen und Datenstrukturen
(Algorithms and Datastructures)
Winter Term 2021/22
-
(Fundamentals of Programming)
- Naturwissenschaftlich motivierte formale Modelle
(Formal models inspired by nature)
- Foundations of Computer Science
in the Master's programs Data Science and Cognitive Sytems
Summer Term 2021
- Praxis der Programmierung
(Programming in C, Object oriented Programming)
- >Algorithmen und Datenstrukturen
(Algorithms and Datastructures)
Winter Term 2020/21
- Grundlagen der Programmierung
(Fundamentals of Programming)
- >Software Engineering 1
- Compiler und Programmtransformation
(Compiler and Program Transformation)
Summer Term 2020
- Praxis der Programmierung
(Programming in C, Object oriented Programming)
- Algorithmen und Datenstrukturen
(Algorithms and Datastructures)
Winter Term 2019/20
- Grundlagen der Programmierung
(Fundamentals of Programming)
- Naturwissenschaftlich motivierte formale Modelle
(Formal models inspired by nature)
- Foundations of Computer Science
in the Master's program Cognitive Sytems
Summer Term 2019
- Praxis der Programmierung
(Programming in C, Object oriented Programming)
- Algorithmen und Datenstrukturen
(Algorithms and Datastructures)
Winter Term 2018/19
- Grundlagen der Programmierung
(Fundamentals of Programming)
- Compiler und Programmtransformation
(Compiler and Program Transformation)
- Foundations of Computer Science
in the Master's program Cognitive Sytems
Summer Term 2018
- Praxis der Programmierung
(Programming in C, Object oriented Programming)
- Algorithmen und Datenstrukturen
(Algorithms and Datastructures)
Winter Term 2017/18
- Grundlagen der Programmierung
(Fundamentals of Programming)
- Naturwissenschaftlich motivierte formale Modelle
(Formal models inspired by nature)
- Foundations of Computer Science
in the Master's program Cognitive Sytems
Summer Term 2017
- >Praxis der Programmierung
(Programming in C, Object oriented Programming)
- Algorithmen und Datenstrukturen
(Algorithms and Datastructures)
- Blockseminar:
Computational Models Inspired by Nature
Winter Term 2016/17
- Grundlagen der Programmierung
(Fundamentals of Programming)
- Compiler und Programmtransformation
(Compiler and Program Transformation)
-
in the Master's program Cognitive Sytems
Summer Term 2016
- Praxis der Programmierung
(Programming in C, C++ and Java)
- Software Engineering 2
Winter Term 2015/16
- Compiler und Programmtransformation
(Compiler and Program Transformation)
- Software Engineering
- Foundations of Computer Science
in the Master's program Cognitive Sytems
Summer Term 2015
- Praxis der Programmierung
(Programming in C, C++ and Java)
- Software Engineering 2
- Naturwissenschaftlich motivierte formale Modelle
(Formal models inspired by nature)
- Übungen zu Theoretischer Informatik 2
am Hasso-Plattner-Institut
(Associated courses in Theoretical Computer Science (Part 2) at the Hasso-Plattner-Institut)
Winter Term 2014/15
- Compiler und Programmtransformation
(Compiler and Program Transformation)
- <>Software Engineering
- Foundations of Computer Science
in the Master's program Cognitive Sytems
- Übungen zu Theoretischer Informatik 1
am Hasso-Plattner-Institut
(Associated courses in Theoretical Computer Science at the Hasso-Plattner-Institut)
Summer Term 2014
- html" target="_blank">Praxis der Programmierung
(Programming in C, C++ and Java)
- Co-lecturer in Software Engineering 2
- Übungen zu Theoretischer Informatik 2 am Hasso-Plattner-Institut
(Associated courses in Theoretical Computer Science (Part 2) at the Hasso-Plattner-Institut)
Winter Term 2013/14
- Co-lecturer in Virtualisierung und Compilation
(Virtualisation and Compilation)
- Co-lecturer in Software Engineering 1
- Rechnerübungen zu Grundlagen der Programmierung
(Basic concepts of computer operation)
- Übungen zu Theoretischer Informatik 1 am Hasso-Plattner-Institut
(Associated courses in Theoretical Computer Science at the Hasso-Plattner-Institut)
Summer Term 2013
- Co-lecturer in Formale Methoden im
Systementwurf (Formal methods in system design)
- Co-lecturer in Software Engineering 2
- Co-lecturer in Organisation Informatik
Career Day
Selected Courses Tought in Former Terms at Potsdam University (partielly as co-lecturer)
- Programming
- Formal Models Inspired by Biology
- Parsing
- Information Theory (as co-lecturer)
- Foundations of Service Engineering (as co-lecturer)
Selected Courses Tought at other Universities or Colleges
- Theoretical Computer Science
- Logic
- Complexity Theory
- Mathematics for Engineers
- Mildly Context-Sensitive Grammars (at the International PhD School
Formal Languages and Applications, Universitat Rovira I Virgili Tarragona, Spain, 2002--06)
