Teaching

2022 Summer Term

Fundamentals of programming and algorithms

Formal Modelling

2021/2022 Winter Term

Introduction to Programming 1

Propädeutikum für Informatik

2021 Summer Term

Fundamentals of programming and algorithms

Formal Modelling

2020/2021 Winter Term

Introduction to Programming 1

Propädeutikum für Informatik

2020 Summer Term

Introduction to Programming 1

Formal Modelling

2019/2020 Winter Term

Introduction to Programming 1

Ways of Thinking in Informatics

2018/2019 Summer Term:

COMP 24412: Symbolic AI


about me · research · publications · teaching · outreach · software · contact · home