for links to some papers (to be updated shortly).
This spring (2021) I am teaching Computability & Incompleteness (Phil 152) and co-teaching a graduate seminar with Johan van Benthem (Phil 359).
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 @.