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.