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

Skip to Main Content

Apply to the University of Wyoming apply now

Global Resource Navigation

Visit Campus
Download UW Viewbook
Give to UW

James Caldwell

Department Head | Professor

Architectural images

 

James Caldwell

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:


Curriculum Vitae:

Download PDF


Publications:

Available Online


Students:

View current and past students


Contact us today

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

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

email: jlc@cs.uwyo.edu

Note to Prospective Graduate Students

To learn more our graduate program, please visit: http://www.uwyo.edu/cosc/graduate_students/
To apply, please visit: http://www.uwyo.edu/uwgrad/prospective/applying/


Share This Page:

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

Twitter Icon Youtube Icon Instagram Icon Facebook Icon

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