درباره این اپیزود
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
جستجوی اپیزودهای گذشته
اپیزودهای قبلی SCRF Interviews را جستجو کن.
قسمت های دیگر در این پادکست
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…
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…
سلب مسئولیت: پادکست و آثار هنری تعبیه شده در این صفحه متعلق به SCRF است که متعلق به صاحب آن است و به Listen Notes، Inc وابسته یا تایید نشده است.
ویرایش
از کمک شما برای بروز نگهداشتن پایگاهدادههای پادکست سپاسگزاریم
