Andre Knispel

Andre Knispel has an MSc in mathematics from Humboldt University of Berlin. In his thesis, he computed invariants related to quantum field theory and established a link to complexity theory. After finishing his master’s, he started working with formal methods and proof assistants, and specialized in type theory and metaprogramming. He joined IOHK in 2020.