Formal Methods in Complex System Design - Jamsheed Shorish and Michael Zargham of BlockScience (Ep. 16)

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