Episode 43: A fireside chat with Dr. Daniel Zimmerman

Formal bytes: The Axiomise Podcast Channel - En podkast av Axiomise

Prøv Podimo gratis i hele 30 dager!

I Podimo finner du eksklusive podkaster og bestselgende lydbøker tilpasset dine ører

Reklame

Kategorier:

Utdannelse Teknologi

This week, Dr. Darbari talks to Dr. Daniel Zimmerman, Principal Researcher from Galois Inc. Lot of exciting conversation on formal methods and their applications to cryptography, homomorphic computing and Daniel also reveals the secret Ninja formal methods and the work done with Amazon on deploying software analysis.

Visit the podcast's native language site