- Software Engineer
James Chapman has a PhD in type theory from the University of Nottingham and 10 years of postdoctoral research experience in functional programming and formal methods. He is an expert in the machine verification of functional languages. He joined IOHK in 2018 as a member of the formal methods team.
3768 5129 B1B4 2DB3 0F82 328B 27BC AE99 DC05 0200