Computers Don't Byte

Mathematician and optimization expert Elena Raponi takes us from car‑crash simulations to her teenage quest for the perfect pizza. Through her stories, she reveals how Bayesian thinking shapes the way we learn, explore, and refine our choices—whether we’re comparing pizza places or navigating complex engineering problems.

The conversation dives into black‑box optimization, algorithm design, and the surprisingly human logic behind making choices—from selecting a Netflix series to engineering safer cars. The episode offers an accessible look at how optimization shapes everyday decisions and high‑stakes scientific challenges alike.

Game AI expert Mike Preuss takes us from the world of Go‑playing algorithms to cutting‑edge chemistry. Hear how Monte Carlo Tree Search, the technique behind AlphaGo, helped enable the first fully automated method for chemical retrosynthesis—an achievement published in Nature.

The Game Lab that Mike runs at LIACS improves game mechanics, collaborates across disciplines, and uses games for education, psychology, and even language learning. From smarter strategy units to serious games that train pilots, this episode shows why games—and game AI—matter far beyond entertainment.

Idea by Dimitra Kouimtzidou
Research, planning & coordination by Marcel Tichelaar & Dimitra Kouimtzidou
Interview, production & editing by Michiel van Poelgeest

In this episode, assistant professor Eleftheria Makri takes us from a classic 1980s cryptography puzzle to today’s urgent questions about data privacy, secure computation, and the looming impact of quantum computing. Through clear examples—from billionaire dinner bills to medical diagnostics—she shows how we can extract useful insights from data without ever exposing the data itself.

Makri explains why privacy isn’t about secrecy but about control, and how secure computation can unlock collaboration in fields like healthcare and finance without exposing sensitive data. She also highlights the urgency of preparing for a post‑quantum world, where today’s encrypted information could become tomorrow’s open book.

Idea by Dimitra Kouimtzidou
Research, planning & coordination by Marcel Tichelaar & Dimitra Kouimtzidou
Interview, production & editing by Michiel van Poelgeest

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.

Idea by Dimitra Kouimtzidou
Research, planning & coordination by Marcel Tichelaar & Dimitra Kouimtzidou
Interview, production & editing by Michiel van Poelgeest

What’s the difference between a zebra and a zebrafish? Assistant professor Rita Pucci, who works at both LIACS and Naturalis, brings together biodiversity and computer science. She’s developing a model that can recognise unique skin patterns of individual animals within a herd: a breakthrough that could transform how wildlife is monitored.
It could also reveal whether inbreeding is occurring—crucial information for species like zebras, where inbreeding can have devastating consequences. But before the model can reliably identify patterns in zebra coats, it first needs to learn how to generate patterns itself. And for that, it is trained on thousands of images of zebrafish.

Idea by Dimitra Kouimtzidou
Research, planning & coordination by Marcel Tichelaar & Dimitra Kouimtzidou
Interview, production & editing by Michiel van Poelgeest