Episode #20: Ankush Desai — P: The Modeling Language That Could
Building Better Systems - En podcast af Galois, Joey Dodds, Shpat Morina
Kategorier:
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.
