Teaching

Winter 2024

Core Course

• Compiler Construction

Seminar

• Group Seminar

Summer 2024

Seminar

• Group Seminar

Winter 2023

Basic Course

• Programmierung 1

Seminar

• Group Seminar

Summer 2023

Basic Course

• Programmierung 2

Seminar

• Group Seminar

Winter 2022

Core Course

• Compiler Construction

Seminar

• Group Seminar

Summer 2022

Basic Course

• Programmierung 2

Seminar

• Group Seminar
• Build an 8-bit Computer from Scratch

Winter 2021

Seminar

• Group Seminar

Summer 2021

Basic Course

• Programmierung 2

Seminar

• Group Seminar
• Automatic Differentiation

Winter 2020

Core Course

• Compiler Construction

Seminar

• Group Seminar

Proseminar

• Practical Foundations for Programming Languages

Summer 2020

Lecture

• Programmierung 2

Seminar

• Group Seminar

Winter 2019

Seminar

• Group Seminar

Course

• Unix for Unix/Linux Beginners (in German)

Summer 2019

Seminar

• Programming Languages and Compilers for Machine Learning
• Group Seminar

Course

• Unix for Unix/Linux Beginners (in German)

Winter 2018

Core Course

• Compiler Construction

Seminar

• Group Seminar

Proseminar

• Rust

Course

• Unix for Unix/Linux Beginners (in German)

Summer 2018

Lecture

• Programmierung 2

Course

• Git & Unix Vorkurs für Programmierung 2
• Unix for Unix/Linux Beginners (in German)

Seminar

• Group Seminar
• Memory Safety
• Distributed Computing

Winter 2017

Core Course

• Compiler Construction

Seminar

• Group Seminar

Course

• Unix for Unix/Linux Beginners (in German)

Summer 2017

Lecture

• Programmierung 2

Course

• Git & Unix Vorkurs für Programmierung 2

Seminar

• Group Seminar
• Modern Imperative Programming Languages

Winter 2016

Bachelor-/Masterseminar

• Group Seminar

Course

• Unix for Unix/Linux Beginners (in German)

Summer 2016

Lecture

• Programmierung 2

Bachelor-/Masterseminar

• Group Seminar

Course

• Unix for Unix/Linux Beginners (in German)

Winter 2015

Bachelor-/Masterseminar

• Group Seminar

Seminar

• Programming Language Implementation

Core Course

• Compiler Construction

Course

• Unix for Unix/Linux Beginners (in German)

Summer 2015

Lecture

• Programmierung 2

Bachelor-/Masterseminar

• Group Seminar

Course

• Unix for Unix/Linux Beginners (in German)

Winter 2014

Lecture

• Static Program Analysis

Bachelor-/Masterseminar

• Group Seminar

Course

• Unix for Unix/Linux Beginners (in German)

Summer 2014

Lecture

• Programmierung 2

Seminar

• Speculative Parallelization

Proseminar

• Programmanalyse

Course

• Unix for Unix/Linux Beginners (in German)

Bachelor-/Masterseminar

• Group Seminar

Winter 2013

Seminar

• Metaprogramming

Core Lecture

• Compiler Construction

Course

• Unix for Unix/Linux Beginners (in German)

Bachelor-/Masterseminar

• Seminar

Summer 2013

Lecture

• Programmierung 2

Course

• Unix-Anfängerkurs

Winter 2012

Seminar

• Automatic Parallelization in the Polyhedral Model
• Bachelor-/Masterseminar

Proseminar

• Das Erfüllbarkeitsproblem SAT

Course

• Unix-Anfängerkurs

Summer 2012

Lecture

• Programmierung 2

Course

• Unix Course: Unix for Unix/Linux Beginners

Bachelor-/Masterseminar

• Seminar

Winter 2011

Reading Group

• Compilers and Programming Languages

Seminar

• Compiler Verification

Course

• Unix for Unix/Linux Beginners

Core Lecture

• Compiler Construction

Bachelor-/Masterseminar

• Seminar

Summer 2011

Reading Group

• Compilers and Programming Languages

Proseminar

• Embedded Systems

Lecture

• Programmierung 2

Course

• Unix Course: Unix for Unix/Linux Beginners

Bachelor-/Masterseminar

• Seminar

Winter 2010

Proseminar

• SAT

Lecture

• Programmierung 2

Course

• Unix for Unix/Linux Beginners

Summer 2010

Reading Group

• Current Research in Programming Languages and Compilers

Proseminar

• Parallele Programmiermuster

Lecture

• Programmierung 2

Course

• Unix for Unix/Linux Beginners

Winter 2009

Proseminar

• Embedded Systems

Lecture

• Programming Challenges

Course

• Unix I
• C/C++ Programming

Core Lecture

• Compiler Construction

Summer 2009

Proseminar

• 13 Sprachen in 13 Wochen
• Generative Programming

Lecture

• Programmierung 2

Course

• Unix II (system programming)

Winter 2008

Seminar

• Automatic Parallelization

Lecture

• Advanced C Programming

Summer 2008

Lecture

• Programmierung 2