James Caldwell
Professor

Department of Computer Science

    

4074 Engineering Hall
University of Wyoming
Laramie, Wyoming
82071-3315


Office:
Fax:
 +1(307)766-5190
+1(307)766-4036


email: jlc@uwyo.edu

Education:
PhD
MS
BS
1998
1988
1984
Cornell University
SUNY Albany
SUNY Albany
Computer Science
Computer Science
Computer Science
Research Interests: Broadly, my research area is the applications of logic and formal methods in computer science. My research is motivated by the close connection between mathematical proofs and computer programs, an idea that is made precise by the Curry-Howard isomorphism. Areas of specialty include functional programming, constructive logic, type theory, theorem proving, applications of proofs-as-programs, extraction of programs from formal proofs. In exciting developments over the past few years, all these areas are turning out to be important technologies for blockchain.
Current Research Projects : [IOHK] IOHK | Wyoming Advanced Blockchain Research Lab (WABL) co-director with Mike Borowczak
Previous Research Projects: [EPSRC] Proof Theory and Constraint Satisfaction With Ian Gent and Roy Dyckhoff
[NSF] Science of Design: Comprehensibility as a Design Critera with Ruben Gamboa
[NSF] Programming in Constructive Type Theory
Curriculum Vitae: [PDF]
ORCID:
Publications: Available Online
Classes: Functional Programming (COSC 3015) Fall 2020
Students:
  • Ryan Roan (M.S.) Type Checking SQL
      Software Developer, Handel Information Technologies Inc., Laramie, WY
  • Sunil Kothari (Ph.D.) Type Inference and Unification: Formal and Informal Proofs in and around Wand's Algorithm
      Senior Researcher at HP Labs, Palo Alto, CA
  • Josef Pohl (Ph.D.) Programming with Evidence
        Director Of Software Development at Skywriter MD
  • Christoph Jechlitschek (M.S.) Sharing Mathematical Knowledge in a Distributed Environment - a P2P Approach.
        Applications Engineer at Intel
  • Tjark Weber (M.S.) Program Transformations in Nuprl.
        Senior Lecturer, Uppsala University.
  • Scott Johnson (M.S.) Program Extraction from Single and Multi-Succedent Intuitionistic Propositional Proofs.
  • Vitali Khaikine (M.S.) Projecting Formal Proofs into XML: Nuprl into HELM Research Scientist Department of Engineering, School of Engineering & Technology, Hampton University.