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

Building Better Systems

Το περιεχόμενο παρέχεται από το Galois Inc., Joey Dodds, and Shpat Morina. Όλο το περιεχόμενο podcast, συμπεριλαμβανομένων των επεισοδίων, των γραφικών και των περιγραφών podcast, μεταφορτώνεται και παρέχεται απευθείας από τον Galois Inc., Joey Dodds, and Shpat Morina ή τον συνεργάτη της πλατφόρμας podcast. Εάν πιστεύετε ότι κάποιος χρησιμοποιεί το έργο σας που προστατεύεται από πνευματικά δικαιώματα χωρίς την άδειά σας, μπορείτε να ακολουθήσετε τη διαδικασία που περιγράφεται εδώ https://el.player.fm/legal.

2y 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