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.

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

Exploring tools and approaches that make us more effective engineers and make our systems safe and reliable. Join us for discussions on recent developments in topics such as best practices in reliability and security, applied formal methods, encryption, and safe and secure hardware.

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

Sign up to save your podcasts

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

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