Prof James Caldwell

James Caldwell is a professor of computer science at the University of Wyoming and is co-director of the UWYO-IOHK Advanced Blockchain Research and Development Laboratory. He earned his PhD in computer science from Cornell University in 1998. Jim's research area is formal methods, extracting programs from formal proofs via the Curry-Howard isomorphism, verifying decision procedures, functional and dependently-typed programming, protocol verification, and, early in his career, hardware verification.