SCRF Interviews
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 [https://block.science] Twitter: https://twitter.com/jshorish [https://twitter.com/jshorish] Michael Zargham, Founder and CEO at BlockScience Website: https://block.science [https://block.science] Twitter: https://twitter.com/mZargham [https://twitter.com/mZargham] Eugene Leventhal, Podcast Host and Executive Director of SCRF Website: https://scrf.io [https://scrf.io] Twitter: https://twitter.com/bbeats1 [https://twitter.com/bbeats1] If you want to learn more about SCRF, check out: The Forum: https://www.smartcontractresearch.org/ [https://www.smartcontractresearch.org/] Discord: https://discord.gg/BPqN5mjzeC [https://discord.gg/BPqN5mjzeC] Twitter: https://twitter.com/SCRForum [https://twitter.com/SCRForum]
21 episodios
Comentarios
0Sé la primera persona en comentar
¡Regístrate ahora y forma parte de la comunidad de SCRF Interviews!