I'm a math and computer science student at UCF interested in compilers, formal methods and open source. In my free time I work with computer graphics and procedural VFX.
I am a member of UCF's competitive programming team, and have medaled in ICPC multiple times. I have a passion for problems in computational geometry and numerical methods.
Since summer 2026, I've been developing NumPy support for the open-source Pyctos concolic testing tool at Lawrence Livermore National Laboratory. Previously, I was an undergraduate researcher at Imperial College London under Prof. Gerard Gorman, implementing reduced-precision arithmetic and various optimizations for the Devito DSL and compiler framework.