👋 Hello!
I am a graduate student at Northern Arizona University studying Computer Science, and am enrolled in the Accelerated Masters program. My interests lie in Machine Learning, Programming Language Theory, Type Theory, and various other areas of Theoretical Computer Science and the Foundations of Mathematics.
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.