IOHK | Philipp Kant, Director of Formal Methods.IOHK | Philipp Kant, Director of Formal Methods.

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. Turning research papers into machine-executable code is a lengthy and precise process, and one that must be conducted carefully. IOHK is adopting 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. Philipp obtained his PhD in theoretical physics from Karlsruhe Institute of Technology. He spent six years as a researcher, studying the Higgs boson, top quarks, and developing algorithms for calculations in perturbative quantum field theory. Since 2014, he is working in software development, using primarily Haskell for projects in areas such as distributed computing, data management, and econometrics. He joined IOHK in 2017. https://iohk.io/team/philipp-kant/ -- See more at: https://iohk.io Get our latest news updates: https://iohk.io/blog/ Meet the team: https://iohk.io/team/ Learn about our projects: https://iohk.io/projects/ Visit our library: https://iohk.io/research/library/ In the press: https://iohk.io/press/ Work with us: https://iohk.io/careers/