Episode #20: Ankush Desai — P: The Modeling Language That Could Building Better Systems podcast

Artwork

Tech Podcasting Education Government Galois Inc Joey Dodds Shpat Morina

Nội dung được cung cấp bởi Galois Inc., Joey Dodds, and Shpat Morina. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Galois Inc., Joey Dodds, and Shpat Morina hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.

Building Better Systems « »
Episode #20: Ankush Desai — P: The Modeling Language That Could

2y ago 46:12

Chia sẻ

MP3•Trang chủ episode

Nội dung được cung cấp bởi Galois Inc., Joey Dodds, and Shpat Morina. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Galois Inc., Joey Dodds, and Shpat Morina hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.

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

… continue reading

22 tập

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

Artwork

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

Building Better Systems

published 2y ago

Chia sẻ

MP3•Trang chủ episode

Nội dung được cung cấp bởi Galois Inc., Joey Dodds, and Shpat Morina. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Galois Inc., Joey Dodds, and Shpat Morina hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.

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

… continue reading

22 tập

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

모든 에피소드

×

Chào mừng bạn đến với Player FM!

Player FM đang quét trang web để tìm các podcast chất lượng cao cho bạn thưởng thức ngay bây giờ. Đây là ứng dụng podcast tốt nhất và hoạt động trên Android, iPhone và web. Đăng ký để đồng bộ các theo dõi trên tất cả thiết bị.

Nghe hơn 500 chủ đề