Top-level Navigation:

• Staff
• Education
• research
• Contact
• Services

Current-level Navigation:

• Home
• Teaching
• Publications
• Links

"We must be very careful when we give advice to younger people: sometimes they follow it!"
Edsger W. Dijkstra

Teaching

Student projects and Theses

Unfortunately, I cannot accept any new students for bachelor/master theses at the moment.

Besides the courses listed below, I also supervise student projects, bachelor theses, and master theses at TU Wien (see my course list in the TISS system). Topics for projects or theses are typically closely related to my research and teaching activities. In particular, I am supervising projects/thesis in the following categories:

• Combinatorial Algorithms
• Computational Complexity
• Formal Argumentation
• Applications of Answer-Set Programming
• Things closely related to one of my research papers

If you are interested in doing a project or thesis with me please send me an email (or if you happen to be in one of my courses you are also welcome to contact me right after a class).

Courses

Winter term 2024

• 192.134 VU Fundamentals of Digital Systems (TU Wien)
• 192.103 VU Fundamentals of Data Analysis and Visualization (TU Wien)
• 184.682 VU Abstract Argumentation (TU Wien)

Summer term 2024

• 192.121 VU Foundations of Computer and Communication Systems (TU Wien)
• 186.866 VU Algorithms and Data Structures (TU Wien)
• 194.022 VU Modeling (TU Wien)
• 181.034 SE Seminar of Artificial Intelligence (TU Wien)
• 181.034 SE Logic seminar (TU Wien)
• 184.765 VU Argumentation and Proof (TU Wien)

Winter term 2023

• 192.134 VU Fundamentals of Digital Systems (TU Wien)
• 183.580 VU Fundamentals of Digital Systems (TU Wien)
• 192.103 VU Fundamentals of Data Analysis and Visualization (TU Wien)
• 184.682 VU Abstract Argumentation (TU Wien)

Summer term 2023

• 192.121 VU Foundations of Computer and Communication Systems (TU Wien)
• 186.866 VU Algorithms and Data Structures (TU Wien)
• 181.034 SE Seminar of Artificial Intelligence (TU Wien)
• 181.034 SE Logic seminar (TU Wien)
• 184.765 VU Argumentation and Proof (TU Wien)

Winter term 2022

• 192.134 VU Fundamentals of Digital Systems (TU Wien)
• 183.580 VU Fundamentals of Digital Systems (TU Wien)
• 192.103 VU Fundamentals of Data Analysis and Visualization (TU Wien)
• 184.682 VU Abstract Argumentation (TU Wien)

Summer term 2022

• 192.121 VU Foundations of Computer and Communication Systems (TU Wien)
• 186.866 VU Algorithms and Data Structures (TU Wien)
• 181.034 SE Seminar of Artificial Intelligence (TU Wien)
• 184.765 VU Argumentation and Proof (TU Wien)

Winter term 2021

• 192.103 VU Fundamentals of Data Analysis and Visualization (TU Wien)
• 183.579 VU Fundamentals of Computer Engineering (TU Wien)
• 184.682 VU Abstract Argumentation (TU Wien)

Summer term 2021

• 192.121 VU Foundations of Computer and Communication Systems (TU Wien)
• 186.866 VU Algorithms and Data Structures (TU Wien)
• 181.034 SE Seminar of Artificial Intelligence (TU Wien)
• 184.765 VU Argumentation and Proof (TU Wien)

Winter term 2020

• 192.103 VU Fundamentals of Data Analysis and Visualization (TU Wien)
• 183.579 VU Fundamentals of Computer Engineering (TU Wien)
• 184.682 VU Abstract Argumentation (TU Wien)

Summer term 2020

• 186.866 VU Algorithms and Data Structures (TU Wien)
• 181.034 SE Seminar of Artificial Intelligence (TU Wien)

Winter term 2019

• 185.A93 UE Formal Methods in Computer Science (TU Wien)
• 184.682 VU Abstract Argumentation (TU Wien)

Summer term 2019

• 184.705 VU Semistrukturierte Daten (TU Wien)
• 184.765 VU Argumentieren und Beweisen (TU Wien)
• 181.034 SE Seminar of Artificial Intelligence (TU Wien)

Winter term 2018

• 185.A93 UE Formal Methods in Computer Science (TU Wien)
• 184.682 VU Abstract Argumentation (TU Wien)

Summer term 2018

• 184.705 VU Semistrukturierte Daten (TU Wien)
• 181.034 SE Seminar of Artificial Intelligence (TU Wien)

Winter term 2017

• 185.A93 UE Formal Methods in Computer Science (TU Wien)
• 184.682 VU Abstract Argumentation (TU Wien)

Summer term 2017

• 184705 VU Semistrukturierte Daten (TU Wien)
• 051014 PUE Repetitorium Theoretische Informatik (University of Vienna)

Winter term 2016

• 051013 VO Theoretische Informatik (University of Vienna)
• 051014 PUE Repetitorium Theoretische Informatik (University of Vienna)

Summer term 2016

• 050026 VO Theoretische Informatik (University of Vienna)
• 050027 UE Theoretische Informatik (University of Vienna)

Winter term 2015

• 050021 VO Einführung in Scientific Computing (University of Vienna)

Summer term 2015

• 050026 VO Theoretische Informatik (University of Vienna)
• 050027 UE Theoretische Informatik (University of Vienna)

Summer term 2014

• 050026 VO Theoretische Informatik (University of Vienna)
• 050027 UE Theoretische Informatik (University of Vienna)

Winter term 2013

• 050031 UE Datenbanksysteme (University of Vienna)

Summer term 2013

• 050027 UE Theoretische Informatik (University of Vienna)

Winter term 2012

• 050130 VU Advanced Algorithms (University of Vienna)

Winter term 2011

• 184.682 VU 3.0 Abstract Argumentation (TU Wien),

Summer term 2011

• 184.682 VU 3.0 Abstract Argumentation (TU Wien),