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.
My interests are as follows (in order of most recent activity):
- type theory and formal logic
- formal verification
- constitutional law
- American foreign policy (and international law)
NB: This website is new! The old website is still maintained for archival purposes.