Hi! I'm Max.
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!

If you can read this, then my groovy table of contents is disabled on your system, probably because you have some sort of Javascript blocker. That's fine though. If you're technical enough to disable Javascript and to prefer not to enable it after reading this disclaimer, I think you're probably technical enough to just peruse the raw JSON embedded below.