I'm a math and computer science student at the University of Central Florida (UCF). I have a passion for compilers, formal methods and open source software. In my free time, I enjoy working with computer graphics and procedural VFX.
I am a member of UCF's competitive programming team, and have medaled multiple times in ACM/ICPC at the regional level. I have a particular enthusiasm for problems in computational geometry and numerical methods.
I've worked on compilers, web & desktop apps, and game development tooling. This summer I am interning at Lawrence Livermore National Laboratory, working on a novel software verification tool using formal methods. Previously I was an undergraduate researcher at Imperial College London, working under Prof. Gerard Gorman to implement support for reduced-precision arithmetic and various optimizations within the Devito DSL and compiler framework.