(Ph.D., Stanford University). His interests lie in the philosophy of mathematics and its history, in philosophy of logic, and in mathematical logic. His written work is currently focused upon the notion of mathematical explanation; he has also recently completed papers on 20th-century explorations of the foundations of mathematics and on Tarski's philosophical engagement.