#2: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 2
Jean Yang, Founder and CEO of Akita Software, walks us through what makes API analysis an effective approach to finding critical issues in your systems, and what it takes to get a new company started. As a bonus, you'll learn about what formal methods and fashion design have in common. This is part two of a two-part episode. Please make sure to check out part one.
Building Better Systems · Joey Dodds, Shpat Morina
Audio is streamed directly from the publisher (cdn.simplecast.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
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: [email protected]