PhD Student at the University of Wisconsin - Madison. Interested in (computable/recursive) model theory and mathematical logic more generally.