My research interests are in logic, the philosophy of mathematics, and the philosophy of logic. My Ph.D. thesis concerns, in particular, elementary Euclidean geometry. It develops a formalization of Euclid's early proofs in the Elements whereby diagrams function as formal part of the proof. To download the thesis, and other writings, click here.