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