PhD MS BS |
1998 1988 1984 |
Cornell University SUNY Albany SUNY Albany |
Computer Science Computer Science Computer Science |
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.
View current and past students
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
To learn more our graduate program, please visit: http://www.uwyo.edu/cosc/prospective_students/graduate-prospective-student/
To apply, please visit: http://www.uwyo.edu/uwgrad/prospective/applying/