關於這一集
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
英語
美國
逐字稿 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
本 Podcast 中的其他單集
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…
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…
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…
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…
免責聲明: 本頁面嵌入的 Podcast 和封面圖片來自 SCRF，歸其所有者所有，與 Listen Notes, Inc. 無關聯，也未獲得 Listen Notes, Inc. 背書。
