Hello all! I am a first-year Ph.D. student at the Computer Science Department at UT Austin studying in the UToPiA group under Dr. Işil Dillig and Dr. James Bornholt. I am also a first-year fellow of the Department of Energy Computational Science Graduate Fellowship. My research revolves around using program synthesis and verification problems to solve high-performance computing issues in the scientific domains.
I finished a B.S. in Mathematics at Baylor University in May, 2020.
At Baylor I worked with Dr. Robert Kirby on projects related to the Firedrake project, an open-source domain-specific language for computations using the finite element method. We worked with Dr. Andreas Kloeckner to integrate pytential into Firedrake so that we could use fast multipole methods to approximate boundary conditions at infinity on a truncated domain (see, for example, the Sommerfeld radiation condition for the Helmholtz equation).