For up-to-date teaching activity at University of Konstanz, please  check https://www.mcss.uni-konstanz.de/teaching/current-courses/.

(fall 2019) Probabilistic modeling for computer scientists

(spring 2018) Computational modeling in systems biology and neuroscience: press, flyer, ZEuS.

(fall 2017) INF21170 – Formal modelling in systems and synthetic biology.