hi! i'm eric :)
i'm currently studying math and cs at oxford.
I spend a lot of time thinking about mathematical conjecture generation for automated theorem proving, leading to some results.
somewhat orthogonally, I also care deeply about global inequality and how to build the necessary economic infrastructure so everyone has a fair chance. This has led to some time working in Nairobi and my interest in startups as a vehcle for my ideas.
I am currently trying to figure out how to fuse my zeal for math, understanding intelligence, international development, and teaching.
Here's some other things I love:
- growth
- Madhyamaka metaphysics
- Szemerédi regularity lemma
- blood on the clocktower
- mathematical universe hypothesis
- univalence axiom
- Mūlamadhyamakakārikā, Nagarjuna
- ultimate frisbee
- functional languages
- improv, spontaneity
- Notes of a Crocodile, Qiu Miaojin
- Antelope Canyon
- collective intelligence
- matrioshka brain
- organic alignment
- Taroko Gorge
- The Name of the Wind, Patrick Rothfuss
- genesis
- asking questions
- hosting, communities
- hiking
- ML with zkSNARKs
Hope these are interesting to you too! I am always open to hearing new ideas and meeting new people, please feel free to reach out to me, for anything really!. You can also find me in Oxford, DC, and SF.
All opinions are mine and not of any employer, past, present, or future. If I do my job correctly, they'll also be yours.