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

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

Categories:

Education Technology

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.