4085 Engineering Hall
University of Wyoming
|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.
|Publications:||Available Online||Spring 2013 Classes:||
| Graduate Studies:
Spring 2011 Graduate Examination Specification
Spring 2010 Graduate Examination Specification
Spring 2009 Graduate Examination Specification
Spring 2006 Graduate Examination Specification
Resources for the PPL qualifier.
How to give a good research talk.
How to be a good graduate student.
|For Undergraduates:||International Engineering program Foreign Language study and a semester abroad.|