Christopher Jenkins


1 About

Computer Science PhD student, matricultated 2017 Aug. Working with the Computational Logic Center. Advised by Dr. Aaron Stump.


1.1 Research

I am broadly interested in 1) the design and implementation of functional programming languages and 2) formal methods and the development of verified software. More specifically, for my dissertation I hope to develop a conceptual framework of usable type theory charaterizing the meta-theoretic properties of type systems that make them more usable to non-specialists, and to use these properties to guide the development of new and improvement of existing programming language technologies.

2 Location

Mathematical Sciences University of Iowa, Iowa City, IA 52236. Campus Mail Address: 14 MLH

3 Papers

Author: Jenkins

Created: 2018-05-26 Sat 18:48

Emacs 25.3.1 (Org mode 8.2.10)