I am a fourth-year PhD student in Berkeley's Logic Group. I think about model theory with Thomas Scanlon and the methodology of science with Wes Holliday. Before I came to Berkeley, I studied math as an undergraduate at the University of Washington through the Robinson Center.

- I'm currently writing about the status of scientific definitions using the machinery of modal logic, as well as the complexity of scientific propositions and its relation to the Arithmetic Hierarchy.

- I wrote a tutorial on differential algebra from the model-theoretic perspective.
- Anand Pillay's construction of definable cohomology needs fewer assumptions to carry out than the original paper suggests.
- I have some notes on Hrushovski and Kazhdan's proof of the uniformity of local integrals.
- I also have some notes on Rumely's proof of the essential undecidability of the theory of global fields.
- My undergraduate senior thesis, Model Theoretic Methods in Discrete Inverse Problems, was written under the supervision of Jim Morrow.

Office: 1041 Evans Hall

Office Hours: N/A