James Caldwell

Department Head | Professor

 

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:

Download PDF

---

Publications:

Available Online

---

Students:

View current and past students

---