Roman Kireev

Roman Kireev is a self-taught functional programmer and an amateur type theorist who joined IOHK in 2018. He is an advocate of formal methods, type- and test-driven development, rich type systems and correct-by-construction models. Roman writes programs in Haskell and builds models in Agda. He takes Zen Buddhism seriously.