Formal Methods in Complex System Design - Jamsheed Shorish and Michael Zargham of BlockScience (Ep. 16)
Nov 23, 2022 ·
53m 45s
Download and listen anywhere
Download your favorite episodes and enjoy them, wherever you are! Sign up or log in now to access offline listening.
Description
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...
show more
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
show less
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
Information
Author | SCRF |
Organization | SCRF |
Website | - |
Tags |
Copyright 2024 - Spreaker Inc. an iHeartMedia Company