👋 Hello!
My interests lie in Programming Language Theory, Type Theory, Quantum Computing, and various other avenues of Theoretical Computer Science and the Foundations of Mathematics.
I am an undergraduate student at Northern Arizona University studying Computer Science, and am enrolled in the Accelerated Masters program.
I'm currently working at Moonsworth. We make a modpack for Minecraft called Lunar Client supporting many versions of the game. I lead the design and implementation of our reverse engineering pipeline & version independent modding platform.