Teaching

Summer Term 2017

Course
  • Git & Unix Vorkurs für Programmierung 2
  • Winter Term 2016

    Bachelor-/Masterseminar
  • Group Seminar
  • Course
  • Unix for Unix/Linux Beginners (in German)
  • Summer Term 2016

    Lecture
  • Programmierung 2
  • Bachelor-/Masterseminar
  • Group Seminar
  • Course
  • Unix for Unix/Linux Beginners (in German)
  • Winter Term 2015

    Bachelor-/Masterseminar
  • Group Seminar
  • Seminar
  • Programming Language Implementation
  • Core Course
  • Compiler Construction
  • Course
  • Unix for Unix/Linux Beginners (in German)
  • Summer Term 2015

    Lecture
  • Programmierung 2
  • Bachelor-/Masterseminar
  • Group Seminar
  • Course
  • Unix for Unix/Linux Beginners (in German)
  • Winter Term 2014

    Lecture
  • Static Program Analysis
  • Bachelor-/Masterseminar
  • Group Seminar
  • Course
  • Unix for Unix/Linux Beginners (in German)
  • Summer Term 2014

    Lecture
  • Programmierung 2
  • Seminar
  • Speculative Parallelization
  • Proseminar
  • Programmanalyse
  • Course
  • Unix for Unix/Linux Beginners (in German)
  • Bachelor-/Masterseminar
  • Group Seminar
  • Winter Term 2013

    Seminar
  • Metaprogramming
  • Core Lecture
  • Compiler Construction
  • Course
  • Unix for Unix/Linux Beginners (in German)
  • Bachelor-/Masterseminar
  • Seminar
  • Summer Term 2013

    Lecture
  • Programmierung 2
  • Course
  • Unix-Anfängerkurs
  • Winter Term 2012

    Seminar
  • Automatic Parallelization in the Polyhedral Model
  • Bachelor-/Masterseminar
  • Proseminar
  • Das Erfüllbarkeitsproblem SAT
  • Course
  • Unix-Anfängerkurs
  • Summer Term 2012

    Lecture
  • Programmierung 2
  • Course
  • Unix Course: Unix for Unix/Linux Beginners
  • Bachelor-/Masterseminar
  • Seminar
  • Winter Term 2011

    Reading Group
  • Compilers and Programming Languages
  • Seminar
  • Compiler Verification
  • Course
  • Unix for Unix/Linux Beginners
  • Core Lecture
  • Compiler Construction
  • Bachelor-/Masterseminar
  • Seminar
  • Summer Term 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 Term 2010

    Proseminar
  • SAT
  • Lecture
  • Programmierung 2
  • Course
  • Unix for Unix/Linux Beginners
  • Summer Term 2010

    Reading Group
  • Current Research in Programming Languages and Compilers
  • Proseminar
  • Parallele Programmiermuster
  • Lecture
  • Programmierung 2
  • Course
  • Unix for Unix/Linux Beginners
  • Winter Term 2009

    Proseminar
  • Embedded Systems
  • Lecture
  • Programming Challenges
  • Course
  • Unix I
  • C/C++ Programming
  • Core Lecture
  • Compiler Construction
  • Summer Term 2009

    Proseminar
  • 13 Sprachen in 13 Wochen
  • Generative Programming
  • Lecture
  • Programmierung 2
  • Course
  • Unix II (system programming)
  • Winter Term 2008

    Seminar
  • Automatic Parallelization
  • Lecture
  • Advanced C Programming
  • Summer Term 2008

    Lecture
  • Programmierung 2