Primary focuses lie in mathematical logic, specifically set theory and model theory. I am also interested in non-linear partial differential equations, the theory of computational complexity, order theory, and nonstandard analysis.