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.
Episode 50: A fireside chat with Dr. Amin Shokrollahi
In the 50th episode of our podcast, Dr Darbari talks to Dr Amin Shokrollahi. We trace Amin's journey from his early childhood, his interests in Mathematics to his current position as a CEO of Kandou - a company that specialises in low-power, high-speed, off-chip communication solutions. Amin describes himself as more of a mathematician than an electronics engineer. He outlines how he uses principles of abstraction in Mathematics/CS in real-life projects. Amin explains the retimer technology that Kando uses in their cutting-edge Matterhorn USB Type-C solution.
17 Aug 2021
Episode 49: A fireside chat with Prof. Moshe Vardi - Part 2
How can we make teaching formal methods more effective? What is the relationship between SQL and first-order logic? We used logic to design computers, now we use computers to perform logic reasoning, so is there a relation between machine learning and logic? How does a human brain perform reasoning? Is machine learning and logic the answer to all the major questions facing society? How do incomplete information and statistical bias fit into this? What does risk assessment mean? Tune in to our latest podcast to hear what Prof. Vardi has to say about these topics.
3 Aug 2021
Episode 48: A fireside chat with Prof. Moshe Vardi - Part 1
This week Dr Darbari talks to Prof. Moshe Vardi - one of the best-known names in computing and formal methods. In the first of the two episodes, we trace Moshe's journey from his early years and talk about logic, applications of logic to law, NP-complete problems, ENIAC, John von Neumann, John Backus, compilers, semantics, abstractions, descriptions. Moshe shares fascinating accounts of chat with Ed Clarke and the history of LTL, CTL, SVA and PSL. Find out why model checking works. Thank you very much, Moshe, for taking time out to talk to us.
Reach and audience
Public platform figures. Ratings count people who left a rating, not total listeners.
Apple Podcasts (US)
5.0 / 5
1 ratings
Contact Formal bytes: The Axiomise Podcast Channel
Guest appearances
Books guests
Based on episode analysis; this does not confirm that the show is currently accepting guests.
Host of Formal bytes: The Axiomise Podcast Channel?
Claim your podcast to manage its listing and keep your show details accurate.
Pod Engine is an independent podcast discovery and analytics service and is not affiliated with or endorsed by this podcast. Artwork and show content belong to their owners. Full legal notice.
Explore this show Podcast research with Pod Engine
