Teaching

Besides supervision and organizing other activities for students, I have been teaching the following courses (some multiple times).

• IIKG2001 (old code IMT3501) – Software Security (7.5/10 ETCS)
  • at NTNU as Lecturer during
    • Autumn 2021
• IMT4123 – System Security (7.5/10 ETCS)
  • at NTNU as Lecturer during
    • Autumn 2020, 2021
• INF5140/INF9140 – Specification and Verification of Parallel Systems (10 ETCS)
  • at UiO as Lecturer during
    • Spring 2009, 2011, 2013
• INF5160 – Formal Methods Seminar (5 ETCS)
  • at UiO as Lecturer during
    • every semester from 2008 to 2013
• INF3230 – Formal modelling and analysis of communicating systems (10 ETCS)
  • at UiO as Teaching Assistant (TA) during
    • Spring 2008