A list of courses that I teach or taught:
-
Spring 2012 — TA for the Modelling and verification of concurrent systems course (MOD259) together with Lars Kristensen, Yngve Lamo and Xiaoliang Wang.
-
Fall 2011 — TA for the Grid Systems course (MOD351) together with Hege Erdal and Bjarte Kileng.
-
Spring 2011 — teaching the Advanced Algorithms course (TOD133) together with Adrian Rutle.
-
Fall 2010 — TA for the Grid Systems course (MOD259) at Bergen University College; together with Hege Erdal and Håvard Helstrup;
-
Fall 2009 — TA for the introductory logic course for pedagogics students, Pedagogium College, Warsaw, Poland; together with Joanna Golińska-Pilarek.