< That's me.

I'm an alumnus of James Madison University in Virginia with a B.S. in Computer Science. My academic interests include formal logic and programming language theory, including expressive type systems and program verification. I also enjoy esolangs and alternative paradigms such as array languages, term rewriting languages, and proof-tactics systems. I aspire to earn a Ph.D. in one of these areas and eventually teach computer science at a research university.