1:04:02
Smart contract certification: the why and how
-
Video
-
Video
- Description
- Discussion
About the talk
Formal standards for verification and methodologies can take years to create and the process of testing them needs a professional approach to prevent costly accidents. IO is working with leading experts – including QuviQ, Tweag, Runtime Verification, Well-Typed, and CertiK – to adopt a formal certification process based on proven best practices.
About speakers
Researcher, author and teacher, based at the University of Kent. My research has covered many aspects of functional programming, including verification, tool building and testing for Erlang, Haskell and OCaml. I'm author of books on type theory, Haskell and Erlang, and run a MOOC on Erlang for FutureLearn.
View the profileResearch engineer with more than 12 years of experience in hazard analysis and formal verification of safety-critical embedded systems in the railway domain. Use of formal methods in other fields where security and availability issues are of significant importance include, automotive, defense and avionics. In-depth knowledge of formal methods techniques ranging from static-analysis, deductive verification (i.e., Horn clause logic), theorem proving, model-checking and SAT/SMT solvers. Main designer and developer of the SafeProver formal verification tool. Research activities mainly focus on: normalisation and rewriting techniques tailored towards model representation optimisation for verification; encoding of model-checking algorithms and test case generation using SAT/SMT solvers.
View the profileSeasoned specialist with 10+ years of experience in product, project and requirements management, as well as hands on software development in IT and telecommunications, as well as in blockchain and smart contracts space. Worked in both startup and corporate environment. Certified Professional Scrum Product Owner and PRINCE2 Practitioner. Always on the lookout for new professional
View the profileBuy this talk
Full access
Similar talks
Buy this video
Conference Cast
With ConferenceCast.tv, you get access to our library of the world's best conference talks.
