Home
Categories
EXPLORE
True Crime
Comedy
Society & Culture
Business
Sports
History
Music
About Us
Contact Us
Copyright
© 2024 PodJoint
00:00 / 00:00
Sign in

or

Don't have an account?
Sign up
Forgot password
https://is1-ssl.mzstatic.com/image/thumb/Podcasts125/v4/20/af/eb/20afeb9f-24e4-d366-6fa1-9872065e1a81/mza_12528572800365096954.png/600x600bb.jpg
Formal bytes: The Axiomise Podcast Channel
Axiomise
50 episodes
7 months ago
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.
Show more...
Technology
Education
RSS
All content for Formal bytes: The Axiomise Podcast Channel is the property of Axiomise and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
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.
Show more...
Technology
Education
https://is1-ssl.mzstatic.com/image/thumb/Podcasts125/v4/20/af/eb/20afeb9f-24e4-d366-6fa1-9872065e1a81/mza_12528572800365096954.png/600x600bb.jpg
Episode 40: A fireside chat with Dr. Zvonimir Bandic
Formal bytes: The Axiomise Podcast Channel
28 minutes 2 seconds
4 years ago
Episode 40: A fireside chat with Dr. Zvonimir Bandic
In this episode, Dr. Darbari talks to a key leader in the field of the RISC-V ecosystem - Dr. Zvonimir Bandic - Senior director, Western Digital. Zvonimir traces his journey to the USA and describes the exciting field of storage and hard drives. We talk about the CHIPS alliance, open-source, and how Western Digital is influencing the RISC-V ecosystem.
Formal bytes: The Axiomise Podcast Channel
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.