Associate Professor
 Department of Computer Science |
|
James Caldwell
Associate Professor |
|
|
4074 Engineering Hall University of Wyoming Laramie, Wyoming 82071-3315
email: jlc@cs.uwyo.edu |
| Education: |
| ||||
| 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 | Classes: |
| ||
| Current Students: | Sunil Kothari (Ph.D.) Josef Pohl (Ph.D.) Huiyuan Ma (MS) | ||||
| Former Students: | Christoph Jechlitschek (MS) -- peer-to-peer math servers Tjark Weber (MS) -- Program Transformations in Nuprl. Scott Johnson (MS) -- Program Extraction. Vitali Khaikine (MS) -- XML math display | ||||
| Graduate Studies: |
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. Draft Copy of the Computer Science Department Graduate Handbook. |
||||
| International Engineering: | International Engineering program: Foreign Language study and a semester abroad. COSC International Engineering Option Check Sheet |
||||
| Other links: |
Home sweet home. ... and a few more of the new land. Daily commute. Sculpture Climbing Fishing |
