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