TENTANG EPISODE INI
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
Inggris
Amerika Serikat
TRANSKRIP 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
CARI EPISODE TERDAHULU
Cari episode sebelumnya dari SCRF Interviews.
EPISODE LAIN DALAM PODCAST INI
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…
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…
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…
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…
Sanggahan: Podcast dan karya seni yang disematkan pada halaman ini berasal dari SCRF, yang merupakan milik pemiliknya dan tidak berafiliasi atau didukung oleh Listen Notes, Inc.
Sunting
Terima kasih telah membantu agar basis data podcast tetap terbaru
