Episode 32: A fireside chat with Rajat Swarup

Dr. Darbari got together with Rajat Swarup - a cyber-security expert and ex-Director of Information Security, Blackrock. We talk about computer security, its origins, its impact on software, hardware security, and the role of formal methods. We ask Rajat about simple ways of keeping us safe.

Om Podcasten

Axiomise is a unique formal verification training, consulting and services company that loves enabling people in formal verification. This podcast is our way of sharing the joy of formal verification.