for links to some papers.
In Winter 2017 I taught "Logic and Artificial Intelligence" (CS257/Phil356C) and in Spring "Computability and Logic" (Phil 152/252), in addition to leading the Stanford Logic Seminar
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 @.