Antrittsvorlesung "Modelling complex self-organizing systems"
Mittwoch, 11. Juli 2018
14.00 – 15.30 Uhr
C 202 (Powerwall-Raum)
FB Informatik und Informationswissenschaft
Jun.-Prof. Dr. Tatjana Petrov
Uncovering the mechanisms of complex systems such as a biological cell or a flock of birds seems closer than ever with today's measurement technology, powerful computers and algorithms. However, the arising combination of combinatorial and analytical complexity often requires novel methods at all modelling stages, such as model representation, model reduction or model validation. If there is something more complex than biology, that is software. Billions of lines of code are written and executed daily, including those controlling the cars we drive or medical treatments we may need. By following the analogy that "model=programme", I will show how the modelling principles used in software verification and those used in classical mathematical modelling meet, using a few scenarios: signal transduction, gene regulation and social honeybees.