#1: Jean Yang – "Formal" Methods? How about "Business Casual" Methods? Part 1

Building Better Systems - A podcast by Galois, Joey Dodds, Shpat Morina

Categories:

Education Technology

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 one of a two-part episode. Please make sure to check out part two.