All systems are go! Assistant professor Henning Basold guides us through the fascinating world of systems—from the biological structures that make us who we are to the complex cyber‑physical systems behind rockets, trains, and self‑driving cars.
How do category theory, logic, and formal verification help us understand, model, and secure the technologies we rely on every day. Why do systems fail? How can we prove they’re safe? And what does it take to describe the world mathematically? Tune in for a thought‑provoking journey into the hidden structures that shape the world around us.