Teaching

Courses

Summer 2017

  • Model-based Software Engineering, Graduate lecture, Leibniz Universität Hannover.
  • Softwarequalität, Elective undergraduate lecture, held jointly with Prof. Dr. Kurt Schneider, Leibniz Universität Hannover.
  • Proseminar, Entwurf, Programmierung und Simulation komplexer Softwaresysteme.

Winter 2016/17

Summer 2016

  • Model-based Software Engineering, Graduate lecture, Leibniz Universität Hannover.
  • Softwarequalität, Elective undergraduate lecture, held jointly with Prof. Dr. Kurt Schneider, Leibniz Universität Hannover.

Winter 2015/16

  • Formal Methods in Software Engineering, Graduate lecture, Leibniz Universität Hannover.
  • Seminar “Moderne Verfahren für die Entwicklung ubiquitärer, cyber-physischer und adaptiver Softwaresysteme”, Graduate seminar, Leibniz Universität Hannover.
  • Softwareprojekt, Compulsory undergraduate project course, joint with Prof. Dr. Kurt Schneider, Leibniz Universität Hannover.

Summer 2015

  • Softwarequalität, Elective undergraduate lecture, Leibniz Universität Hannover.
  • Project “UbiBots — Modellbasiertes Software Engineering für ubiquitäre cyberphysische Systeme”, Graduate-level project course, Leibniz Universität Hannover.

Winter 2014/15

  • Formal Methods in Software Engineering, Graduate lecture, Leibniz Universität Hannover.
  • Softwareprojekt, Compulsory undergraduate project course, joint with Prof. Dr. Kurt Schneider, Leibniz Universität Hannover.

Summer 2014

  • Softwarequalität, Elective undergraduate lecture, Leibniz Universität Hannover.
  • Labor “Agile Software-Entwicklung”, Graduate Lab Course, Leibniz Universität Hannover.

Winter 2013/14

  • Modellierung des dynamischen Verhaltens von Systemen,
    Elective undergraduate lecture, Leibniz Universität Hannover.
  • Proseminar “Software Engineering für ubiquitäre Anwendungen”, Undergraduate seminar, Leibniz Universität Hannover.
  • Softwareprojekt, Compulsory undergraduate project course, joint with Prof. Dr. Kurt Schneider, Leibniz Universität Hannover.

Summer 2013

  • Design and Analysis of Distributed, Interacting Systems, Graduate lecture, Leibniz Universität Hannover.
  • Proseminar “Moderne Technologien für die Entwicklung von verteilten, dynamischen Anwendungen”, Undergraduate seminar, Leibniz Universität Hannover.

Summer 2011

  • Softwaretechnikpraktikum, compulsory undergraduate project course, Universität Paderborn.

Supervised Doctoral Theses

Supervised Master Theses

Supervised Bachelor Theses