spring 2008 (UC-Berkeley)
CS278: machine-based complexity theory (trevisan)
MTH235A: theory of sets (steel)
PHL186B: the later wittgenstein (stroud) [audit]
PHL290: assessment sensitivity (macfarlane)
fall 2007 (UC-Berkeley)
CP290: global poverty: hopes and challenges in the new millennium (roy)
CS299: individual research (papadimitriou)
PHL290: early wittgenstein/tractatus (mancosu/sluga)
teaching: PHL140B: intermediate logic (mancosu)
summer 2007 (UC-Berkeley)
Preliminary Examination Part I [passed]
spring 2007 (UC-Berkeley)
CS172: computability & complexity (trevisan)
CS270: combinatorial algorithms & data structures (karp)
MTH225B: metamathematics (slaman)
teaching: PHL12A: introduction to logic (mancosu)
fall 2006 (UC-Berkeley)
CS170: efficient algorithms & intractable problems (papadimitriou/vazirani)
MTH225A: metamathematics (harrington)
PHL290: philosophy of mathematical practice (mancosu)
PHL302: how to be a good gsi (sluga)
teaching: PHL12A: introduction to logic (fitelson)
2005-6 (London School of Economics)
PH400: philosophy of science and scientific method (frigg/hartmann)
PH403: philosophy of mathematics (giaquinto)
PH409: philosophical foundations of physics (frigg/hartmann)
PH499: essay/report