James Caldwell
Associate Professor

Department of Computer Science

    

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


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


email: jlc@cs.uwyo.edu

Education:
PhD
MS
BS
1998
1988
1984
Cornell University
SUNY Albany
SUNY Albany
Computer Science
Computer Science
Computer Science
Research Interests: Formal program synthesis. Provably correct approaches to systems design via synthesis and/or transformation-based approaches. Theorem proving and application of theorem provers to system verification. The application of formal methods to verification of distributed and fault-tolerant systems. Constructive logic, proofs-as-programs, and extraction of programs from formal proofs.
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 Ongoing.
Curriculum Vitae: [PDF]
Publications: Available Online
Spring 2012 Classes:

COSC 4780   Principles of Programming Languages
COSC 5010   Proofs and Types
Current Students:
  • Ryan Roan (M.S.) Type Checking SQL
Former Students:
  • Sunil Kothari (Ph.D.) Type Inference and Unification: Formal and Informal Proofs in and around Wand's Algorithm
      PostDoc at HP Labs, Palo Alto, CA
  • Josef Pohl (Ph.D.) Programming with Evidence
        Research Engineer at NASA Ames Research Center
  • Christoph Jechlitschek (MS) Sharing Mathematical Knowledge in a Distributed Environment - a P2P Approach.
        Applications Engineer at Intel
  • Tjark Weber (MS) Program Transformations in Nuprl.
        Research Associate at Cambridge University.
  • Scott Johnson (MS) Program Extraction from Single and Multi-Succedent Intuitionistic Propositional Proofs.
  • Vitali Khaikine (MS) Projecting Formal Proofs into XML: Nuprl into HELM
Graduate Studies:
 Spring 2011 Graduate Examination Specification
Spring 2010 Graduate Examination Specification
Spring 2009 Graduate Examination Specification
Spring 2006 Graduate Examination Specification
2005 Exams
Resources for the PPL qualifier.
How to give a good research talk.
How to be a good graduate student.
For Undergraduates: International Engineering program Foreign Language study and a semester abroad.