teaching

Courses I am teaching or I have taught.

V: lecture (as lecturer); U: exercises (as tutor); P: lab; S: seminar.

2024

2023

2022

2021

2020

  • Autumn Semester 2020
    Applied Security Laboratory; 3P

  • Spring Semester 2020
    Formal Methods for Information Security; 2V + 1U
    co-taught with Dr. Ralf Sasse and Dr. Srdjan Krstic

2019

  • Autumn Semester 2019
    Applied Security Laboratory; 3P

  • Spring Semester 2019
    Computer-Aided Modelling and Reasoning; 4P
    co-taught with Dr. Dmitriy Traytel
    Formal Methods for Information Security; 2V + 1U
    co-taught with Dr. Ralf Sasse and Dr. Srdjan Krstic

2018

  • Autumn Semester 2018
    Applied Security Laboratory; 3P

  • Spring Semester 2018
    Formal Methods for Information Security; 2V + 1U
    co-taught with Dr. Ralf Sasse and Dr. Srdjan Krstic

2017

  • Autumn Semester 2017
    Applied Security Laboratory; 3P
    Grundlagen der Informatik; 3U

  • Spring Semester 2017
    Formal Methods for Information Security; 2V + 1U co-taught with Dr. Ralf Sasse

2016

  • Autumn Semester 2016
    Applied Security Laboratory; 3P

  • Spring Semester 2016
    Formal Methods for Information Security; 2V + 1U co-taught with Dr. Ralf Sasse and Dr. Sasa Radomirovic

2015

  • Autumn Semester 2015
    Computer-Aided Modelling and Reasoning; 4P co-taught with Dr. Andreas Lochbihler Applied Security Laboratory; 3P

2014

  • Autumn Semester 2014
    Computer-Aided Modelling and Reasoning; 3P co-taught with Dr. Andreas Lochbihler Applied Security Laboratory; 3P

  • Spring Semester 2014
    Formal Methods for Information Security; 2V + 1U co-taught with Dr. Mohammad Torabi Dashti and Dr. Sasa Radomirovic

2013

  • Autumn Semester 2013
    Applied Security Laboratory; 3P

  • Spring Semester 2013
    Information Security; 2V
    co-taught with Prof. David Basin

2012

  • Spring Semester 2012
    Formal Methods for Information Security; 2V + 1U
    co-taught with Dr. Cas Cremers and Dr. Mohammad Torabi Dashti
    Information Security; 2U

2011

  • Autumn Semester 2011
    Current Topics in Information Security; 2S

2010

  • Autumn Semester 2010
    Formal Methods for Information Security; 2V + 2U
    co-taught with Dr. Cas Cremers
    Current Topics in Information Security; 2S

  • Spring Semester 2010
    Formal Methods and Functional Programming, 2U
    For tutorial material click here.

2009

  • Autumn Semester 2009
    Formal Methods for Information Security; 2V + 2U
    co-taught with Dr. Sebastian Mödersheim

  • Spring Semester 2009
    Information Security; 2U

2008

  • Autumn Semester 2008
    Informatik I (D-ITET), 2U

  • Spring Semester 2008
    Formal Methods and Functional Programming, 3V
    co-thaught with Dr. Felix Klaedtke

2007

  • Autumn Semester 2007
    Current Topics in Information Security; 2S

  • Summer Semester 2007
    Information Security; 2U

2006

  • Winter Semester 2006/07
    Current Topics in Information Security; 2S

  • Summer Semester 2006
    Information Security; 2U

2005

  • Winter Semester 2005/06
    Current Topics in Information Security; 2S

  • Summer Semester 2005
    Information Security; 2U