Episode 43: A fireside chat with Dr. Daniel Zimmerman
Formal bytes: The Axiomise Podcast Channel - A podcast by Axiomise
Categorie:
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.
