I'm a graduate student at UC Berkeley, studying mathematical logic. I'm especially interested in reverse mathematics and abstract model theory.