Episode #20: Ankush Desai — P: The Modeling Language That Could
Impossible d'ajouter des articles
Désolé, nous ne sommes pas en mesure d'ajouter l'article car votre panier est déjà plein.
Veuillez réessayer plus tard
Veuillez réessayer plus tard
Échec de l’élimination de la liste d'envies.
Veuillez réessayer plus tard
Impossible de suivre le podcast
Impossible de ne plus suivre le podcast
Episode #20: Ankush Desai — P: The Modeling Language That Could
-
Lu par :
-
De :
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
adbl_web_anon_alc_button_suppression_t1
Aucun commentaire pour le moment
