Shunsuke Shibayama (芝山駿介)

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.

Since 2025, I have been working as a contractor for Astral software inc. developing Python type checker.

Presentations

• PyCon JP 2024

Papers

• Dynamically assisted Klein tunneling in the Furry picture (preprint)
  • ArXiv: 2504.09916

Other interests

• Movies
• Pictures
• Music (Spotify)
• Books