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.)