Publications

See here for links to some papers.

Teaching

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).

Contact

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

Arcade