About Me
Hi! My name's Jacob. I'm currently a postdoctoral researcher at Reykjavik University. I earned my PhD (in computer science) in the Functional Programming Laboratory at the University of Nottingham and my 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
-
PhD: Computer Science
University of Nottingham, School of Computer Science
2021 — 2025
Thesis: A Generalized Algebraic Theory of Directed Equality (defended 16 September 2025)
-
Master of Science: Logic, Computation, and Methodology
Carnegie Mellon University, Department of Philosophy
2019 — 2020
Thesis: Semantics of Nondeterministic Construction (defended 14 August 2020)
-
Bachelor of Science: Mathematical Sciences (Discrete Math and Logic)
Carnegie Mellon University, Department of Mathematical Sciences
2015 — 2019
Additional Major in Logic and Computation (Department of Philosophy)
Graduated with Mellon College of Science Honors