Antrittsvorlesung

Antrittsvorlesung "Modelling complex self-organizing systems"

Wann
Mittwoch, 11. Juli 2018
14.00 – 15.30 Uhr

Wo
C 202 (Powerwall-Raum)

Veranstalter
FB Informatik und Informationswissenschaft

ReferentIn:
Jun.-Prof. Dr. Tatjana Petrov

Abstract

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.