Teaching

Wintersemester 2016

• University of Linz
  • Berechenbarkeit und Komplexität

Wintersemester 2015

• University of Linz
  • Berechenbarkeit und Komplexität
  • Programming Project Symbolic Computation (Computer Algebra, Logik und Softwaredesign I)

Sommersemester 2015

• University of Linz
• Programmierprojekt Symbolisches Rechnen (Computeralgebra, Logik und Softwaredesign II)

Wintersemester 2014

• University of Linz
  • Berechenbarkeit und Komplexität
  • Programming Project Symbolic Computation (Computer Algebra, Logik und Softwaredesign I)

Sommersemester 2014

• University of Linz
• Programmierprojekt Symbolisches Rechnen (Computeralgebra, Logik und Softwaredesign II)
• Fachhochschule Hagenberg
  • Mathematik 1 - Algebra

Wintersemester 2013

• University of Linz
  • Berechenbarkeit und Komplexität
  • Computer-based Working Environments

Sommersemester 2013

• University of Linz
• Programmierprojekt Symbolisches Rechnen (Computeralgebra, Logik und Softwaredesign II)
• Fachhochschule Hagenberg
  • Mathematik 1 - Algebra

Wintersemester 2012

• University of Linz
  • Programmierprojekt Symbolisches Rechnen (Computeralgebra, Logik und Softwaredesign I)
  • Berechenbarkeit und Komplexität
  • Computer-based Working Environments

Sommersemester 2012

• University of Linz
• Programmierprojekt Symbolisches Rechnen (Computeralgebra, Logik und Softwaredesign II)
• Fachhochschule Hagenberg
  • Mathematik 1 - Algebra

Wintersemester 2011

• University of Linz
  • Programmierprojekt Symbolisches Rechnen (Computeralgebra, Logik und Softwaredesign I)
  • Berechenbarkeit und Komplexität
  • Computer-based Working Environments

Sommersemester 2011

• University of Linz
  • Programmierprojekt Symbolisches Rechnen (Computeralgebra, Logik und Softwaredesign II)

Wintersemester 2010

• University of Linz
  • Programmierprojekt Symbolisches Rechnen (Computeralgebra, Logik und Softwaredesign I)
  • Berechenbarkeit und Komplexität
  • Computer-based Working Environments

Sommersemester 2010

• University of Linz
  • Programmierprojekt Symbolisches Rechnen (Computeralgebra, Logik und Softwaredesign II)

Wintersemester 2009

• University of Linz
  • Programmierprojekt Symbolisches Rechnen (Computeralgebra, Logik und Softwaredesign I)
  • Berechenbarkeit und Komplexität
  • Computer-based Working Environments

Sommersemester 2009

• University of Linz
  • Programmierprojekt Symbolisches Rechnen (Logik und Softwaredesign)

Wintersemester 2008

• University of Linz
  • Programmierprojekt Symbolisches Rechnen (Computer-Algebra)
  • Berechenbarkeit und Komplexität
  • Computer-based Working Environments

Sommersemester 2008

• University of Linz
  • Programmierprojekt Symbolisches Rechnen (Logik und Softwaredesign)

Wintersemester 2007

• University of Linz
  • Programmierprojekt Symbolisches Rechnen (Computer-Algebra)
  • Berechenbarkeit und Komplexität

Sommersemester 2007

• University of Linz
  • Programmierprojekt Symbolisches Rechnen (Logik und Softwaredesign)

Wintersemester 2006

• University of Linz
  • Programmierprojekt Symbolisches Rechnen (Computer-Algebra)
  • Formale Grundlagen 2

Sommersemester 2006

• University of Linz
  • Programmierprojekt Symbolisches Rechnen (Logik und Softwaredesign)

Wintersemester 2005

• University of Linz
  • Programmierprojekt Symbolisches Rechnen (Computer-Algebra)
  • Praktische Softwaretechnologie
  • Formale Grundlagen 2

Sommersemester 2005

• University of Linz
  • Software Engineering

Wintersemester 2004

• University of Linz
  • Praktische Softwaretechnologie
  • Formale Grundlagen 2
• Fachhochschule Hagenberg
  • Mathematik III (Bioinformatik)

Sommersemester 2004

• University of Linz
  • Software Engineering
  • Programmieren in Aldor
• Fachhochschule Hagenberg
  • Algorithmische Mathematik (6th semester)