Teaching

Winter Term 2025/26

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 2025

Praxis der Programmierung (Programming in C, Object oriented Programming)
Naturwissenschaftlich motivierte formale Modelle (Formal models inspired by nature)

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)