jado🏔

Software Engineer & CompSci Undergrad

👋 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.