Self Introduction
I am a graduate student majoring physics. I am also interested in programming, especially type theory and programming languages. I am developing a language called Erg. It is a statically typed language that will be transpiled into Python.
From 2025 to 2026, I worked as a contract employee at Astral Software Inc., where I was involved in the development of the Python Type Checker.
Presentations
Papers
- Dynamically assisted Klein tunneling in the Furry picture (preprint)
- ArXiv: 2504.09916