PhD Harvard University
M.A. University of Toronto
B.A. University of Kings College, Dalhousie University
Mathematics and computing in the postwar United States
Artificial intelligence and automated reasoning
Computer memory and digital representation
“Of Models and Machines” in Isis 106.3 (September 2015): 623 - 634.
“Machines Who Write” in IEEE Annals of the History of Computing 35.2 (April-June 2013): 85 - 87.
“AterMath: The Work of Proof in the Age of Human-Machine Collaboration” in Isis 102.3 (September 2011): 494 - 505.
History of science, history of mathematics, history of computing