Skip to Main Navigation. Each navigation link will open a list of sub navigation links.

Skip to Main Content

Apply Now to the University of Wyoming apply now
Visit Campus
Download UW Viewbook
Give to UW

James Caldwell

Department Head | Professor

Architectural images


James Caldwell


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:

Curriculum Vitae:

Download PDF


Available Online


View current and past students

Contact us today

4085 Engineering Hall
University of Wyoming
Laramie, Wyoming

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


Note to Prospective Graduate Students

To learn more our graduate program, please visit:
To apply, please visit:

1000 E. University Ave. Laramie, WY 82071
UW Operators (307) 766-1121 | Contact Us | Download Adobe Reader

Accreditation | Virtual Tour | Emergency Preparedness | Employment at UW | Privacy Policy | Harassment & Discrimination | Accessibility Accessibility information icon