Episode #20: Ankush Desai — P: The Modeling Language That Could

<p>Joey and Shpat talk with Ankush Desai, a Senior Applied Scientist at AWS and one of the primary developers behind the P language. They dig into uses for P, bug finding, and what it takes for formal methods researchers to build useful tools for applied engineers. </p><p>Watch all our episodes on the <a href="https://www.youtube.com/c/BuildingBetterSystemsPodcast/videos" target="_blank">Building Better Systems youtube channel</a>.</p><p>Ankush Desai: <a href="https://www.linkedin.com/in/ankush-desai/ ">https://www.linkedin.com/in/ankush-desai/ </a></p><p>Joey Dodds: <a href="https://galois.com/team/joey-dodds/">https://galois.com/team/joey-dodds/</a></p><p>Shpat Morina: <a href="https://galois.com/team/shpat-morina/">https://galois.com/team/shpat-morina/ </a></p><p>Galois, Inc.: <a href="https://galois.com/">https://galois.com/ </a></p><p>Contact us: <a href="mailto:podcast@galois.com">podcast@galois.com</a></p><p> </p><p> </p><p> </p>