teaching

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

2023

• Autumn Semester 2023
  Applied Security Laboratory; 3P

• Spring Semester 2023
  Computer-Aided Modelling and Reasoning; 4P

2022

• Autumn Semester 2022
  Applied Security Laboratory; 3P

• Spring Semester 2022
  Formal Methods and Functional Programming, 4V
  co-taught with Prof. Dr. Peter Müller
  Formal Methods for Information Security; 2V + 1U
  co-taught with Dr. Srdjan Krstic and Dr. Ralf Sasse

2021

• Autumn Semester 2021
  Applied Security Laboratory; 3P

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

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