Teaching

• Summer 2021/2022 — all information via Blackboard
  
  Coalgebra — new in Salzburg
  Theoretical Computer Science 911.024 & 911.025 (lectures and instructions)
  Computer Aided Verification — online
• 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 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
• 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 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
• Winter 2019/2020
  
  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 2018/2019
  
  Computer Aided Verification
  Introduction to Concurrency Theory and Practice, together with Christoph Kirsch
  Instructions for Diskrete Mathematik 511.008, one group; lectures given by Martin Held
• Winter 2018/2019
  
  Formale Systeme 511.001 — Logic and Sets, a first course
  Instructions for Formale Systeme 511.002, two groups
• Summer 2017/2018
  
  Theoretical Computer Science 911.024 / 911.025 (lectures and instructions)
  Instructions for Diskrete Mathematik 511.008, one group; lectures given by Martin Held
• Winter 2017/2018
  
  Formale Systeme 511.001 — Logic and Sets, a first course
  Instructions for Formale Systeme 511.002, one group
• Summer 2016/2017
  
  Computer Aided Verification
  Instructions for Diskrete Mathematik 511.008, one group; lectures given by Martin Held
• Winter 2016/2017
  
  Formale Systeme 511.001 — Logic and Sets, a first course
  Instructions for Formale Systeme 511.002, one group
  Formal Languages and Complexity Theory 511.022
  Instructions for Formal Languages and Complexity Theory 511.023, one group
• Winter 2015/2016
  
  Formale Systeme 511.001 — Logic and Sets, a first course
  Instructions for Formale Systeme 511.002, one group
  Automata, lectures and instructions, MMT Master, FH Salzburg
• Summer 2014/2015
  
  Model Checking
• Winter 2014/2015
  
  Formale Systeme 511.001 — Logic and Sets, a first course
  Instructions for Formale Systeme 511.002, two groups
  Automata, lectures and instructions, MMT Master, FH Salzburg
• Summer 2013/2014
  
  Introduction to Concurrency and Verification
  Instructions for Diskrete Mathematik (2PS), course given by Martin Held
• Winter 2013/2014
  
  Formale Systeme 511.001 — Logic and Sets, a first course
  Instructions for Formale Systeme 511.002, one group
• Summer 2012/2013
  
  Model Checking
  Instructions for Diskrete Mathematik (2PS), course given by Martin Held
• Summer 2011/2012 — Faculty of Informatics, TU Vienna
  
  Coalgebra for Computer Scientists
• Winter 2011/2012
  
  Formale Systeme 511.001 / 511.002 — Logic and Sets, a first course
• Summer 2010/2011
  
  Introduction to Concurrency and Verification
• Winter 2010/2011
  
  Theory of Computation
• Summer 2009/2010
  
  Model Checking
  Verification Seminar, together with Christoph Kirsch
  TA for Software Systems Seminar, course given by Christoph Kirsch
• Winter 2009/2010
  
  Embedded Software Engineering, course lead by Christoph Kirsch
• Summer 2008/2009
  
  Model Checking — new in Salzburg
  TA for Software Systems Seminar, course given by Christoph Kirsch
• Summer 2007/2008
  
  Theory of Computation
  TA for Software Systems Seminar, course given by Christoph Kirsch
• Winter 2007/2008
  
  Introduction to Concurrency and Verification — new in Salzburg
  TA for Compositionality Seminar, course given by Christoph Kirsch
• Summer 2006/2007
  
  TA for Software Systems Seminar, course given by Christoph Kirsch
  TA for Compiler Construction, course given by Christoph Kirsch

I used to teach a bit in Eindhoven. I also used to teach a lot in Skopje.