物理学(特に場の量子論、量子計算、量子情報、計算物理)と計算機科学(特に型理論、プログラミング言語)に興味のある大学院生です。
プログラミング言語については、興味が高じてErgというプログラミング言語を開発するようになりました。
2025年よりAstral software inc.の契約社員としてPython型チェッカーの開発に従事しています。