I'm a UWCCR '15, University of Arizona '19, NSF GRFP Scholar, and current Ph.D. student at the Northeastern University Khoury College of Computer Science. I'm interested in formal methods, pure math(s), logic, and security. I also like writing pithy things on the internet, climbing, and photography. This is my website. Click on the table of contents below to see what else I'm up to!