James Caldwell
Department Head Associate Professor 

4085 Engineering Hall University of Wyoming Laramie, Wyoming 820713315
email: jlc@cs.uwyo.edu 
Education: 
 
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 CurryHoward isomorphism. Areas of specialty include functional programming, constructive logic, type theory, theorem proving, applications of proofsasprograms, extraction of programs from formal proofs. I am also doing joint research with colleagues in the philosophy department designing logics to model beliefs.  
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 2015 Classes: 
 
Current Students: 
 
Former Students: 
