See here 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♠ by replacing surname with my surname and ♠ with @.