Tu sei qui

Formal Modelling of Biologically-inspired Complex Self-Organising Systems

10 aprile 2024
2:30 pm
San Francesco Complex - classroom 2

Uncovering the mechanisms of complex systems such as a biological cell or a colony of honeybees seems closer than ever with today's measurement and tracking technology, powerful computers and algorithms. However, the arising combination of combinatorial and analytical complexity requires novel methods at all modelling stages, including model representation, model reduction, 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 = program”, the modelling principles used in software verification help us shed light to collective phenomena in biology. We exemplify the approach over several scenarios, including a recent result where extracting individual characteristics from population data reveals a negative social effect during honeybee defense.

 

Join at: imt.lu/aula2

relatore: 
Tatjana Petrov, University of Konstanz, Germany
Units: 
SYSMA