In happy news, I will be starting a postdoctoral position with the University of Alberta philosophy department this September 1st! There, I will develop a digital humanities research project in the history of logic and computing. Here is a short description:

This digital humanities project consists of novel computational research in history of philosophy. This project uses computer proof-assistants, which are programs that function like human tutors helping students with a logic problem: they can provide hints, check consistency, and suggest tactics. Using computer proof-assistants, I will model different extant interpretations of Principia Mathematica. These computer-assisted models will allow for mapping Principia under each competing interpretation, facilitating a side-by-side comparison of the text under different
readings. This Killam Fellowship project also serves as a prototype applying computer proof-assistants to other significant works in history of philosophy.

“Killam Fellowship” refers to the position title, Izaak Walton Killam Memorial Postdoctoral Fellowship, which is so-named because it is dedicated to the memory of Izaak and Dorothy Killam.

I am grateful to the Killam Trusts for this award. Having honeymooned in Alberta, my wife and I are excited to return there for our next northern adventure.