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!
ContentsEssaysStormFrancescaTalentShibbolethsTimeBlog PostsReadingsTop 10# TheoryPython 101Attacker SynthesisCodingAttacker SynthesisGeneral ElectricQIIME 2OSM ClientOSM ServerChetawaniiOS GraveyardPhotosBest OfiPhoneRoad Trip500pxHumorAK HeardNietzscheMe OnlineStack OverflowGitHubPress, etc.Infinity DentalDavis UWCQuake Summit201619962002!ZipLineAndreesenHacking Voting