About Me

Hi! My name's Jacob. I'm currently a PhD student in the Functional Programming Laboratory, part of the School of Computer Science at the University of Nottingham. Before moving to Nottingham, I lived in Pittsburgh, Pennsylvania while completing my undergraduate (in mathematics) and master's degree (in logic) at Carnegie Mellon University. I was born and raised in Denver, Colorado (and make it back there as often as I can!).

As a researcher, I'm interested in a number of topics across computer science, logic, mathematics, and philosophy. I'm particularly interested in the use of formal logic and advanced mathematical techniques in the design and specification of computer programs. You can read more about my research here. I also greatly enjoy teaching; my teaching experience encompasses numerous topics, especially type theory, formal logic, and functional programming (learn more about my teaching).

In addition to my work, I enjoy several hobbies including cooking, camping, armchair philosophizing, exploring, and amateur photography. I also have several other projects I'm working on (or have worked on), see Etc.

Education