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?