Episode #20: Ankush Desai — P: The Modeling Language That Could
Failed to add items
Sorry, we are unable to add the item because your shopping basket is already at capacity.
Add to cart failed.
Please try again later
Add to wishlist failed.
Please try again later
Remove from wishlist failed.
Please try again later
Follow podcast failed
Unfollow podcast failed
Episode #20: Ankush Desai — P: The Modeling Language That Could
-
Narrated by:
-
Written by:
About this listen
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.
Watch all our episodes on the Building Better Systems youtube channel.
Ankush Desai: https://www.linkedin.com/in/ankush-desai/
Joey Dodds: https://galois.com/team/joey-dodds/
Shpat Morina: https://galois.com/team/shpat-morina/
Galois, Inc.: https://galois.com/
Contact us: podcast@galois.com
No reviews yet