She works at the intersection of history of computing, artificial intelligence, and mathematics. Her work explores the historical consequences of automation for knowledge, its character and its production, in different communities from mathematical logicians to police departments. Her writings include, “AfterMath: The Work of Proof in the Age of Human-Machine Collaboration,” and “Of Models and Machines: Implementing Bounded Rationality.” From 2012 – 2015, she was selected as one of nine researchers funded by the Turing Centenary Research Project: Mind Mechanism and Mathematics.