Hi! I'm Max.
I'm a UWCCR '15, University of Arizona '19, and current Ph.D. student under the advisement of Dr. Stavros Tripakis and Dr. Cristina Nita-Rotaru 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, sending rad schlotzy slab-climbs, skateboarding, and photography with my trusty Fujifilm X-Pro1. This is my website. Click here to see what I'm currently coding, or click on the table of contents below to see what else I'm up to! (Note my online resume is infrequently updated; email me directly for more current information.)

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 file HERE. Feel free to shoot me an email at maxvonhippel@gmail.com if you have any questions!