I am a researcher in the field of computer science and computer security. My research interests include linear logic, proof nets, functional programming, and graph transformation.
Education
April 2025 – current
- Researcher at Japanese tech company.
April 2023 – March 2025: Master of Engineering
- Department of Computer Science and Communications Engineering, Graduate School of Fundamental Science and Engineering, Waseda University, Supervisor: Professor Kazunori Ueda.
April 2019 – March 2023: Bachelor of Engineering
- Department of Applied Mechanics and Aerospace Engineering, School of Fundamental Science and Engineering, Waseda University, Supervisor: Professor Eiji Iwase.
Research Interest
- Logic
- Linear logic and proof nets
- Functional programming
- Software verification
- Graph transformation
Publications
The 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025), LNCS 15537, 2025, Springer, pp.196-214
The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023), 2023.
Awards
Best Student Paper Honorable Mention
The 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025)
Poster Session Audience Award (Non-SRC)
The 21st Asian Symposium on Programming Languages and Systems (APLAS 2023)
Tools
linear type playground
Type checking playground for linear lambda calculus. The front-end is written in Elm and the back-end (linear lambda calculus) is written in OCaml.