Building Better Systems - TopPodcast.com

View Top 200 Chart

Back to Rankings Page

Building Better Systems — Technology
Building Better Systems

Exploring tools and approaches that make us more effective engineers and make our systems safe and reliable. Join us for discussions on recent developments in topics such as best practices in reliability and security, applied formal methods, encryption, and safe and secure hardware.

Latest Episodes:

#2: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 2 Oct 28, 2020

Show notes

Video of this podcast can be found on our Youtube channel

Jean Yang: https://www.linkedin.com/in/jean-yang-96575030/

Akita Software: https://www.akitasoftware.com/

Galois, Inc.: https://galois.com/

Joey Dodds: https://galois.com/team/joey-dodds/

Shpat Morina: https://galois.com/team/shpat-morina/

Contact us: marketing@galois.com

#1: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 1 Oct 23, 2020

Show notes

Video of this podcast can be found on our Youtube channel.

Jean Yang: https://www.linkedin.com/in/jean-yang-96575030/

Akita Software: https://www.akitasoftware.com/

Galois, Inc.: https://galois.com/

Joey Dodds: https://galois.com/team/joey-dodds/

Shpat Morina: https://galois.com/team/shpat-morina/

Contact us: marketing@galois.com

Related Podcasts