James Caldwell Department Head Associate Professor

Department of Computer Science

4085 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:	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. 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 2013 Classes:	COSC 4780   Principles of Programming Languages
Current Students:	Hadi Shafe'i (Ph.D.) Applications of Type Theory 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.