filmov
tv
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.
--
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.
--
0:59:32
IOHK | Philipp Kant, Director of Formal Methods.
0:04:21
IOHK | Formal Methods - Philipp Kant
1:05:14
Cardano Formal Methods with Philipp Kant and Jared Corduan of IOHK | TCE 25
0:45:20
BOB 2018 - Philipp Kant: Formally Specifying Blockchain Protocols using the Psi Calculus
0:26:32
Protocol Berg: Philipp Kant - Recursive SNARKs for Efficiency, Scalability, and Privacy
0:02:48
Input Output | Inside the company
1:06:45
IOHK | Developers' meetup for Cardano, University College London
0:21:04
Hard Fork Combinator: full tech demo
0:21:30
Philipp Kant - Fusing Flexibility with Formality (...) - Lambda Days 2020
0:02:39
IOHK | Research, Mirjam Wester, Senior Research Manager
0:47:15
BOB 2019 - Philip Kant, Designing Applications with Pluggable Layers Using Polymorphism
1:28:03
IOHK | Formal Design, Implementation and Verification - Prof. Grigore Rosu
0:38:40
IOHK | PoS Delegation, Lars Brünjes, Director of Education.
0:09:26
IOHK | A vision for blockchain in Africa
0:30:07
IOHK PlutusFest 2018 | Academic Stream | Philip Wadler - Senior Research Fellow
0:03:01
IOHK | Director of Education - Lars Brünjes - Property Based Testing
0:04:58
IOHK | Markulf Kohlweiss, Zk-SNARKs & Zero Knowledge Proofs Research.
0:01:51
Duncan Coutts, PhD | IOHK Int. Director of Engineering
0:27:23
IOHK | Treasury Coin Presentation - Prof. Roman Oliynykov
0:04:59
IOHK | Importance of Functional Correctness Training - Duncan Coutts
0:04:16
IOHK Team Grothendieck-Ethereum Classic Scala Client Meeting, May 22nd, 2018
0:50:16
BOB 2017 - Philipp Kant: Performance and Safety: an Example of using Liquid Haskell in the Real Worl
0:25:47
IOHK | Ethiopia's First Blockchain Forum Presentation - John O'Connor & Charles Hoskin...
0:01:25
IOHK | Cardano First-Anniversary Montage - Chinese
Комментарии