In order to better document my interests for posterity, provide for a better organization of ideas, and serve a more accurate online representation of myself, I do ordain and establish this website.

Max Fan (September 1st, 2019)

---

Currently, I am a student at Choate Rosemary Hall, located in Wallingford, Connecticut.

My interests are as follows (in order of most recent activity and level of interest):

• type theory and formal logic
• formal verification

• cryptography

• constitutional law
• American foreign policy (and international law)

NB: My old website is still maintained for archival purposes.