My current research interests are in the geometry of perfectoid spaces, as well as computational algebraic geometry/number theory via the Julia programming language.
The perfectoid Tate algebra has uncountable Krull dimension, arXiv:2212.13315
On the solvability of the discrete conductivity and Schrödinger inverse problems, (with J. Boyer and F. Guevara Vasquez), SIAM J. Applied Math. (2016) arXiv:1510.02848
Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification, (with M. S. Baranowski, S. He and Z. Rakamaric), Conference on Verification, Model Checking, and Abstract Interpretation. (2020) pdf