Teaching

SS 2025

• Vorlesung/Übung: Theoretische Informatik

• Vorlesung/Übung: Formale Sprachen und Automaten

WS 2024/25

• Vorlesung/Übung: Theoretische Informatik

• Vorlesung/Übung: Formale Sprachen und Automaten

• Projektseminar

WS 2023/24

• Vorlesung/Übung: Theoretische Informatik

• Vorlesung/Übung: Formale Sprachen und Automaten

SS 2023

• Vorlesung/Übung: Theoretische Informatik

• Vorlesung/Übung: Assemblerprogrammierung

WS 2022/23

• Vorlesung/Übung: Kollektive Entscheidungen

• Vorlesung/Übung: Wissenschaftliches Arbeiten

• Projektgruppe: Computational Social Choice

• Vorlesung/Übung: Formale Sprachen und Automaten

SS 2022

• Übung: Grundlagen der theoretischen Informatik

• Projektgruppe: Computational Social Choice

WS 2021/22

• Vorlesung/Übung: Matching

• Vorlesung/Übung: Wissenschaftliches Arbeiten

• Projektgruppe: Computational Social Choice

SS 2021

• Vorlesung/Übung: Grundlagen der theoretischen Informatik

• Projektgruppe: Computational Social Choice

WS 2020/21

• Vorlesung/Übung: Judgment Aggregation

• Projektgruppe: Computational Social Choice

SS 2020

• Vorlesung/Übung: Matching

• Projektgruppe: Computational Social Choice

WS 2019/20

• Vorlesung/Übung/Seminar: Verfahren zur kollektiven Entscheidungsfindung

• Projektgruppe: Computational Social Choice

SS 2019

• Vorlesung/Übung: Judgment Aggregation

• Projektgruppe: Computational Social Choice

WS 2018/19

• Vorlesung/Übung: Matching

• Projektgruppe: Computational Social Choice

SS 2018

• Vorlesung/Übung: Grundlagen der theoretischen Informatik

• Projektgruppe: Computational Social Choice

WS 2017/18

• Vorlesung/Übung/Seminar: Verfahren zur kollektiven Entscheidungsfindung

• Projektgruppe: Computational Social Choice

SS 2017

• Vorlesung/Übung: Judgment Aggregation

• Projektgruppe: Computational Social Choice

WS 2015/16

• Vorlesung/Übung/Seminar: Verfahren zur kollektiven Entscheidungsfindung

• Projektgruppe: Computational Social Choice

SS 2015

• Vorlesung/Übung: Grundlagen der theoretischen Informatik

• Projektgruppe: Computational Social Choice

WS 2014/15

• Vorlesung/Übung: Mathematische Hintergründe der Wahlmanipulation

• Projektgruppe: Computational Social Choice

WS 2013/14

• Vorlesung/Übung: Judgment Aggregation

• Projektgruppe: Computational Social Choice

SS 2013

• Projektkurs: Theorie und Praxis der Online-Partizipation

• Übung: Cake-cutting Algorithmen