Assistant Professor of
for links to some papers.
In Autumn 2015, I will be teaching "Mathematical Logic" and co-teaching "
Minds and Machines
" (with Dan Lassiter) at Stanford.
In 2015-2016 I will continue to co-organize the
Berkeley-Stanford Circle in Logic and Philosophy
), together with Wes Holliday.
For current Stanford students interested in the
joint major in Computer Science and Philosophy
), please feel free to contact me.
I can be reached at
♠stanford.edu by replacing
with my surname and ♠ with @.