jado🏔

Software Engineer & CompSci Undergrad

I'm interested in Programming Language Theory, Type Theory, Quantum Computing, and various other avenues of Theoretical Computer Science and the Foundations of Mathematics.

I'm currently working on Lunar Client. I lead the design and implementation of our reverse engineering pipeline & version independent modding platform.

I am an undergraduate student at Northern Arizona University studying Computer Science. Maybe I'll get a Master's, who knows?