avatar for James Caldwell

James Caldwell

University of Wyoming
Professor and Co-Director of IOG | Wyoming Advanced Blockchain Lab
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.