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

Building Better Systems

Вміст надано Galois Inc., Joey Dodds, and Shpat Morina. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Galois Inc., Joey Dodds, and Shpat Morina або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.

2+ y ago 46:12

MP3•Головна епізоду

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/

22 епізодів

#Tech #Podcasting Education #Government #Galois Inc #Joey Dodds #Shpat Morina