Hello! I am a Research Scientist/SE/Auditor at Veridise working on the Vanguard team to help secure smart contracts and zero knowledge circuits. I also perform audits of zero knowledge circuits and smart circuits with the Veridise team, come check us out if you want an audit!

I completed a M.S. in Computer Science at the University of Texas at Austin in December of 2022 studying Programming Languages in the UToPiA group under Dr. Işil Dillig. My time at UT was funded by the Department of Energy Computational Science Graduate Fellowship, where I was a 2020 fellow. While at UT, I researched program synthesis, verification, and analysis.

I finished a B.S. in Mathematics at Baylor University in May, 2020.

Research

Programming Languages

I worked to automate the implementation of certain concurrent programs from a declarative specification with Dr. Işil Dillig, Dr. James Bornholt, and Dr. Kostas Ferles.

Check out the paper here!

High Performance Computing

I worked with Dr. Samuel Williams and Dr. Hans Johansen in CRD at Lawrence Berkeley National Labs in the summer of 2021 (and throughout the year) on the Bricks project to help transform data layout (instead of code) for high-performance codes.

Check out the paper here.

Scientific Computing

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).

Check out the paper here.