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.
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
- constitutional law
- American foreign policy (and international law)
NB: My old website is still maintained for archival purposes.