who

I'm a perpetual student, software engineer, and challenge seeker.

projects

pel

pel is an experiment with language design, compiler implementation, and dependent types.

sxe

sxe is a rendering engine built with gfx.rs, a portable Vulkan-like abstraction over native graphics backends.

work

I am currently a software engineer at AWS working on Elastic Container Registry (ECR). Containers are nifty.


While at EdApp, I helped develop a Spaced Repetition system on a mobile-first micro-learning platform and worked on various projects improving the stability and scalability of our datastore and internal services.


As one of the first engineers at NewtonX, I transitioned local, onsite prototypes to a cloud-based architecture, developed REST APIs to serve a client-facing site, and built a distributed job queue to help automate our operations team's workflow