Shpat Morina and I are happy to introduce the new Galois podcast, Building Better Systems. We put this podcast together to provide us an opportunity to have deep, directed discussions with anyone who wants to build better systems. We’re approaching the challenge from two sides. We want to know what challenges people face today and what’s coming next to help people build more correct and secure systems than anything we’ve seen in the past.
We want all of the techniques we discuss to be applied (or at least applicable) to real systems, so we’ll steer away from conversations that are too deeply technical. Our guests will include everyone from faculty members doing cutting edge software correctness researchers to engineers who are applying modern techniques daily to improve the quality of their work. We’ll also talk about cryptography, hardware, and concurrent systems because each of these fields presents unique challenges and solutions as we think about system quality.
We’re actively looking for guests. If you have recommendations (including yourself), please reach out to us at firstname.lastname@example.org. Otherwise, enjoy listening, and please ask questions if you have them, or share your thoughts with us via Twitter!