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.
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 profile
Research 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 profile
Seasoned 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 professionalView the profile
Buy this talk
Buy this video
Our other topics
With ConferenceCast.tv, you get access to our library of the world's best conference talks.