ABOUT THIS EPISODE
Part 4 of our 7-part series with the team at BlockScience features a conversation with Senior Research Scientist Jamsheed Shorish and BlockScience Founder and CEO Dr. Michael Zargham. They delve into a variety of areas, including:
Defining “formal methods”
The need for validation and verification
Generalized dynamical systems (GDS)
The application of formal methods in system design
Jamsheed Shorish, Senior Research Scientist at BlockScience
Website: https://block.science
Twitter: https://twitter.com/jshorish
Michael Zargham, Founder and CEO at BlockScience
Website: https://block.science
Twitter: https://twitter.com/mZargham
Eugene Leventhal, Podcast Host and Executive Director of SCRF
Website: https://scrf.io
Twitter: https://twitter.com/bbeats1
If you want to learn more about SCRF, check out:
The Forum: https://www.smartcontractresearch.org/
Discord: https://discord.gg/BPqN5mjzeC
Twitter: https://twitter.com/SCRForum
Defining “formal methods”
The need for validation and verification
Generalized dynamical systems (GDS)
The application of formal methods in system design
Jamsheed Shorish, Senior Research Scientist at BlockScience
Website: https://block.science
Twitter: https://twitter.com/jshorish
Michael Zargham, Founder and CEO at BlockScience
Website: https://block.science
Twitter: https://twitter.com/mZargham
Eugene Leventhal, Podcast Host and Executive Director of SCRF
Website: https://scrf.io
Twitter: https://twitter.com/bbeats1
If you want to learn more about SCRF, check out:
The Forum: https://www.smartcontractresearch.org/
Discord: https://discord.gg/BPqN5mjzeC
Twitter: https://twitter.com/SCRForum
English
United States
TRANSCRIPT 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
OTHER EPISODES IN THIS PODCAST
Welcome to Season #2 of SCRF Interviews, which returns Wed, Oct 26th. This season begins with a special episode recorded live from Bogota, discussing SafeDAO governance. We follow that with a 7-episode deep dive into the work of the BlockScience team who built an open-sourced cadCAD (complex adapti…
DAO Standards - DAOStar One (Ep.10)The first of two episodes dedicated to DAOStar One. At issue: Decentralized Autonomous Organizations (DAOs) lack a common technical standard which would make it easier for developers to create tooling for DAOs, and give DAOs the same level of legibility and intero…
This episode of SCRF Interviews is the second in a mini-series focused on DAO Star One, a “new alliance of DAO builders racing to build standards that will realize the promise of this emerging technology.” At issue: how do you standardize data in DAOs to facilitate the creation of tooling without o…
This episode features a conversation between Research Hub’s co-founder and Head of Operations Patrick Joyce and Research Hub Community Lead Anton Lebed, moderated by SCRF’s Head of Operations, Eugene Leventhal. At issue: How can web3 help decentralized communities like Research Hub incentivize heal…
The SCRF Interviews team is taking a break to work on some exciting content. Stay tuned for new approaches to blockchain research, exciting interviews, and much more. In the meantime, why not join our Discord, follow us on Twitter or leave a comment on the Smart Contract Research Forum?Discord - ht…
Disclaimer: The podcast and artwork embedded on this page are from SCRF, which is the property of its owner and not affiliated with or endorsed by Listen Notes, Inc.
EDIT
Thank you for helping to keep the podcast database up to date.
