I am a coterm CS student at Stanford. I like programming and writing stuff. Some of it can be found here.
Specifically, my interests are:
- The theory of creating artificial intelligence that is aligned with human values (of the sort done by MIRI)
- Probabilistic programming (with languages like Church). This is the main thing I am researching at the moment.
- Programming language design, functional programming, type theory, Haskell, etc.
- Using probabilistic programming to create better programming languages and tools by inferring programmer intent. This is vague at the moment.
- Probabilistic models of cognition, which often use probabilistic programs.
- Creating a system to prove a software system secure using something like computability logic. Also vague at the moment.
- Distributed web applications. See HashLattice, my senior project that I did with Ashwin Siripurapu and Mario Villaplana.
- Game theory, especially mechanism design and voting theory.
You can contact me at email@example.com.