#173 Susan Potter from distributed systems to functional verification

Susan took us from her maths studies to discovering C++ and deciding on following a career in computer science. We talked about her discovery of verification and functional programming and how it became her main interest. We spoke about distributed systems and how you can view organization structures through their lens as well.

Here are the links from the show:

• https://www.twitter.com/SusanPotter
• https://www.linkedin.com/in/susanpotter
• https://www.susanpotter.net
• Practical TLA+ https://amzn.to/3fmXKQX
• https://hillelwayne.com
• https://medium.com/background-thread/the-future-of-programming-is-dependent-types-programming-word-of-the-day-fcd5f2634878
• Edwin Brady - Idris: Programming with Dependent Types https://vimeo.com/83665028

Credits

• Cover Campfire Rounds by Blue Dot Sessions is licensed CC BY-NC-ND 4.0.
• Your host is Timothée (Tim) Bourguignon, more about him at timbourguignon.fr.
• Gift the podcast a rating on one of the major platforms https://devjourney.info/subscribe
• Support the podcast, support us on Patreon: https://bit.ly/devjpatreon

Digital Disruption with Geoff Nielson
Discover how technology is reshaping our lives and livelihoods.

Listen on: Apple Podcasts   Spotify

Inspiring Tech Leaders - The Technology Podcast
Interviews with Tech Leaders and insights on the latest emerging technology trends.

Listen on: Apple Podcasts   Spotify

Chapters

• 8:00 [Ad] Digital Disruption with Geoff Nielson
• 8:37 (Cont.) #173 Susan Potter from distributed systems to functional verification
• 21:12 [Ad] Inspiring Tech Leaders - The Technology Podcast
• 21:46 (Cont.) #173 Susan Potter from distributed systems to functional verification