I'm a PhD student in the Group in Logic and the Methodology of Science, at the University of California, Berkeley. I joined the group in the fall of 2010. Before that, I earned something called an HonBSc in math, physics, and philosophy, at the University of Toronto.

I think I like model theory.

My office is in Evans Hall, Room 739. My email address is not myfirstname@math.berkeley.edu, although it kind of is.

Learning

Spring 2013: Math 290 Model Theory Seminar (Scanlon), Math 299 Reading Course (Scanlon; more Buechler and Fulton's Algebraic Curves). I also took my qualifying exams (syllabus).

Fall 2012: Math 290 Model Theory Seminar (Scanlon), Math 299 Reading Course (Scanlon; Buechler's Essential Stability Theory).

Summer 2012: I passed my prelims. I also attended a model theory summer workshop at MSRI.

Spring 2012: Math 229 Theory of Models (Scanlon, geometric stability theory), Math 290 Model Theory Seminar (Scanlon), Philos 299 Reading Course (Mancosu).

Fall 2011: Math 256A Algebraic Geometry (Olsson, audit), Math 290 Model Theory Seminar (Scanlon), Philos 290 Logic, Epistemology and Natural Language (Yalcin), Stability Learning Seminar (Medvedev).

Summer 2011: Model theory conférence in Oléron, France. I also spent time learning material for my prelims.

Spring 2011: Math 225B Metamathematics (Harrington), Math 229 Theory of Models (Harrington, stability theory), Math 299 Reading Course (Scanlon; reading little Hodges). I also sat in on some philosophy classes, and talked with various people about basic model theory (Medvedev; continuing little Hodges) and recursion theory.

Fall 2010: Math 225A Metamathematics (Scanlon), Math 250A Groups, Rings & Fields (Ogus), Math 300 Teaching Workshop (Ribet).

Teaching

Spring 2013: GSI for Math 16B (Demmel).

Fall 2012: GSI for Math 16A (Woodin/Harrison).

Spring 2012: GSI for Math 1B (Simic).

Fall 2011: GSI for Math H1B (Talaska).

Spring 2011: GSI for Math 16B (Judson).

Fall 2010: GSI for Math 1B (Jones).

Preliminary exams

If you're in the logic group and are preparing for the foundations prelim, you might find some useful information here.

Logic Tea

I co-organize logic teas with Andy. Servers can find info here.