Room 108, Building No. 15
Kyoto 606-8501 JAPAN
I’m a program-specific researcher (postdoc) of Computer Software Group, Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University. I got Doctor of Science at Tokyo Institute of Technology under the supervision of Prof. Hidehiko Masuhara. I am also a member of Association for Computing Machinery.
My research interests are in programming language design and programming language theory. Currently, I am working on the following research projects:
- Programming Language with Versions: Research on a new language mechanism that incorporates versions into language semantics, which enables compatibility analysis and update support at the expression level, and on ensuring its safety.
- Space-efficient Polymorphic Gradual Typing: Research on introducing polymorphism in a gradual type system in a space-efficient manner.
- Safe Language Interoperability: Research on a new verification method for programs developed in multiple languages.