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

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