Jack J. Garzella

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 following publications come from pre-graduate-school projects, and might not reflect my current interests

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