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

Building Better Systems - Un pódcast de Galois, Joey Dodds, Shpat Morina

Categorías:

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.

Visit the podcast's native language site