James Caldwell
University of Wyoming Professor and Co-Director of IOG | Wyoming Advanced Blockchain Lab
Wyoming
James Caldwell is a Professor of Computer Science at the University of Wyoming (UW) and is Co-director of the IOG / Wyoming Advanced Blockchain Research Lab (WABL). Jim earned his PhD in Computer Science from Cornell University in 1998. Prior to that he worked for ten years at NASA, at GE CRD, and at a VLSI-CAD start-up company. He is delighted to find such a perfect fit between the IOG|WABL mission and his own research interests in formal verification, functional programming languages, and even his earlier work on hardware and protocol verification.