- Director of Formal Methods
- Gödel Team
Philipp Kant obtained his PhD in theoretical physics from Karlsruhe Institute of Technology in Germany. He spent six years as a researcher, studying the Higgs boson and top quarks, and developing algorithms for calculations in perturbative quantum field theory.
Since 2014, he has been working in software development, using primarily Haskell for projects in areas such as distributed computing, data management, and econometrics. He joined IOHK in 2017.
B41E B856 5424 0312 3DD2 1699 9061 2FCE 6A47 C5F3