Philipp Kant is Director of Formal Methods at IOHK. In this video, he explains what formal methods are and why they are important to designing and building cryptocurrencies. IOHK has adopted formal methods in its development process to create software that is robust and reliable.
Philipp explains how research papers are transcribed into an executable specification, and the further steps that refine this specification. His talk was part of an IOHK technical presentation on Cardano given in Hamburg in April, 2018.
You can see further detail on Philipp Kant here.