Teaching

Boolean Networks in Systems Life Sciences

Winter Semester 2025–26

Introduction and Outline (17th October 2025) [slides]
Dynamical Models in Systems Life Sciences (24th October 2025) [slides]
Boolean Algebra (31st October 2025) [slides|exercises]
Boolean Networks (Syntax+Semantics) (7th November 2025) [slides|exercises]
Transition Systems (14th November 2025) [slides|exercises]
Interaction Graphs (21st November 2025) [slides|exercises]
Most Permissive Semantics (5th December 2025) [slides|exercises]
Temporal Properties (12th December 2025) [exercises]

Formal Methods in Algorithmic Cheminformatics and Systems Biology

Winter Semester 2024–25

Introduction and Outline (9th October 2024) [slides]
Petri nets (16th & 23rd October 2024) [slides]
Boolean networks (30th October, 6th & 13th November 2024) [slides]
Stochastic Petri nets (20th & 27th November 2024) [slides]
Simulation (4th December 2024) [slides]
Kappa site graph transformation (4th & 11th December 2024) [slides]
Model Checking (18th December 2024) [slides]
Abstract Interpretation (8th January 2025) [slides]
Unfolding (15th January 2025) [slides]