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: <br /><br />Defining “formal methods”<br />The need for validation and verification<br />Generalized dynamical systems (GDS)<br />The application of formal methods in system design<br /><br />Jamsheed Shorish, Senior Research Scientist at BlockScience<br />Website: <a href="https://block.science" rel="noopener">https://block.science</a><br />Twitter: <a href="https://twitter.com/jshorish" rel="noopener">https://twitter.com/jshorish</a><br /><br />Michael Zargham, Founder and CEO at BlockScience<br />Website: <a href="https://block.science" rel="noopener">https://block.science</a><br />Twitter: <a href="https://twitter.com/mZargham" rel="noopener">https://twitter.com/mZargham</a><br /><br />Eugene Leventhal, Podcast Host and Executive Director of SCRF<br />Website: <a href="https://scrf.io" rel="noopener">https://scrf.io</a><br />Twitter: <a href="https://twitter.com/bbeats1" rel="noopener">https://twitter.com/bbeats1</a><br /><br />If you want to learn more about SCRF, check out:<br /><br />The Forum: <a href="https://www.smartcontractresearch.org/" rel="noopener">https://www.smartcontractresearch.org/</a><br />Discord: <a href="https://discord.gg/BPqN5mjzeC" rel="noopener">https://discord.gg/BPqN5mjzeC</a><br />Twitter: <a href="https://twitter.com/SCRForum" rel="noopener">https://twitter.com/SCRForum</a>