Modeling Communicating Systems in a Functional Style: 30+ Years of Evolution

Explore Dame Muffy Calder's 30+ year journey in modeling communicating systems using functional programming in this keynote talk from Lambda Days 2024. Trace the evolution of her research from early work on telecoms protocols to current applications in systems biology and mixed reality. Gain insights into the power of functional programming for bringing equations to life and the importance of model-based reasoning. Discover how Calder's approach has shifted towards probabilistic models and Milner's Bigraphs with extensions. Reflect on the lessons learned throughout her career and consider future challenges in the field of modeling communicating systems.