Welcome to my website. I am majoring in computer science at UCSC in Santa Cruz, California. This website has many projects that I have worked on. My interests include:
- Formal systems
- Statistical mechanics
- Theories of everything
I'm currently not looking for work.