Assistant Professor

Fall 2017

Curriculum Vitæ


PhD Harvard University
M.A. University of Toronto
B.A. University of Kings College, Dalhousie University

Research Interests

Mathematics and computing in the postwar United States
Artificial intelligence and automated reasoning
Mathematical proof
Computer memory and digital representation
Human-machine interaction
Software Studies
Science Studies

Selected Work

“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.

Teaching Fields

History of science, history of mathematics, history of computing

Faculty Bookshelf