392023 Boolean Networks in Systems Life Sciences / Boolesche Netzwerke in den Systemlebenswissenschaften (V) (WiSe 2025/2026)

The course will provide the students with an in-depth introduction to Boolean networks, a discrete dynamical model of interacting entities, commonly employed in life science applications, predominantly gene regulation networks.
The students will learn not only about modelling with Boolean networks, but also about analysis methods, including an introduction to model checking.

Teilnahmevoraussetzungen, notwendige Vorkenntnisse

No formal requirements. The course touches up on the following topics, the prior knowledge of can be beneficial, but is not necessary: formal (mathematical) logic, formal languages and automata, graph theory, complexity theory.