Teaching

Winter 2021/2022 -- All Information via Blackboard 

           • Formale Systeme 511.001, Logic and Sets, a first course


          • Instructions for Formale Systeme 511.002, two groups


          • Problem Solving and Algorithmic Thinking, with Sebastian Forster, for DIG students


          • Formale Grundlagen und Methoden 884.105 & 884.106, for teachers training

Summer 2021/2022 -- All Information via Blackboard 

           • Coalgebra - NEW in Salzburg! :-)

          • Theoretical Computer Science 911.024 and 911.025 (lectures and instructions)

          • Computer Aided Verification - Online

Winter 2020/2021

           • Formale Systeme 511.001, Logic and Sets, a first course


          • Instructions for Formale Systeme 511.002, two groups


          • Problem Solving and Algorithmic Thinking, with Sebastian Forster, for DIG students

Summer 2020/2021

           • Computer Aided Verification 


          • Introduction to Concurrency Theory and Practice together with Christoph Kirsch


          • Instructions for Linear Algebra for CS 511.014, one group, lectures given by Marian Vajteršic

Summer 2019/2020

           • Theoretical Computer Science 911.024 / 911.025  (lectures and instructions)


          • Instructions for Databases I 511.073, one group, lectures given by Nikolaus Augsten