for links to some papers.
In Winter 2017 I am teaching "Logic and Artificial Intelligence" (CS257/Phil356C) and leading the Stanford Logic Seminar
. In Spring I will be teaching "Computability and Logic" (Phil 152/252).
Together with Wesley Holliday, we continue to organize the Berkeley-Stanford Circle in Logic and Philosophy
(see also this page
I can be reached at surname
♠stanford.edu by replacing surname
with my surname and ♠ with @.