See here 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 (see also this page), together with Wes Holliday.

For current Stanford students interested in the joint major in Computer Science and Philosophy (see also here), please feel free to contact me.


I can be reached at surname♠ by replacing surname with my surname and ♠ with @.