Formal bytes: The Axiomise Podcast Channel

Axiomise

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.

  1. 09/07/2021

    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.

  2. 08/17/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. 08/03/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.

  4. 07/18/2021

    Episode 47: A fireside chat with Prof. Supratik Chakraborty - Part 2

    Pleased to bring up the second part of the chat with Prof. Supratik Chakaraborty from IIT Bombay. We talk on boolean function synthesis, AI/ML, BDDs and SAT. Find out the next big thing in synthesis that has the potential to break the RSA!

  5. 06/15/2021

    Episode 46: A fireside chat with Prof. Supratik Chakraborty - Part 1

    Prof. Supratik Chakraborty is our guest this week. Tune in to find out how he came full circle from the corridors of IIT in his under-grad to being one of the top leaders in formal methods at IIT Bombay. In the first of the two-part podcast, Supratik talks to Dr Darbari about his passion for asynchronous circuits & formal methods, and word-level abstractions, and symbolic trajectory evaluation. Supratik shares his insights in teaching and research in formal methods and makes a strong case about why formal methods would be necessary for the design of machine learning hardware.

  6. 04/27/2021

    Episode 45:A fireside chat with Ravi Thummarukudy

    This week Dr Darbari talks to Ravi Thummarukudy. Hear Ravi's fascinating story from growing up in a village in Kerala with no electricity to being a CEO of one of the top design IP companies Mobiveil Inc. From IIT Madras, and days at ISRO, Ravi describes how he moved on to make Mobiveil a trustworthy name in design IP using the mantra trust but verify.

  7. 04/13/2021

    Episode 44: Formal Verification 101 - The power of formal is now in your hands

    This week we discuss our new formal verification course launched on 6 April, last week. If you're looking to understand how to apply formal methods, especially for industrial projects in VLSI, then we have something for you.

  8. 03/30/2021

    Episode 43: A fireside chat with Dr. Daniel Zimmerman

    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.

See All (50)

Ratings & Reviews

About

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.

Information