Joseph Denman

Joseph Denman is a computer scientist whose interests lie at the intersection of blockchain, quantum computing, formal methods, and category theory. His current research uses higher category theory to explore the relationships between type systems and proof systems, and their computational characteristics, with the ultimate goal of constructing a framework capable of generating type systems. Joseph joined IOHK in 2021.