Highlights
- Pro
Block or report enwask
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseI'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.
Pinned Loading
If the problem persists, check the GitHub status page or contact support.