About

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 in the past few years. My interests include:

• Software engineering
• Deductive systems
• Martin-Löf type theory
• Homotopy type theory
• Zermelo–Fraenkel set theory
• Category theory
• Statistical mechanics
• Relativistic quantum mechanics
• General relativity

If you want to hire me for machine learning, software engineering, or embedded programming, please look at my resume.