We are joined by data scientist Dr. Kate Lorenzen to talk about the mathematical logic used to debug complicated computer software and what can go wrong when the logic fails.

If you have ideas for episodes, or questions you would like us to answer, email us at [email protected]