Yudai Tanabe

Postdoctoral Researcher

profile_img.jpg

Room 108, Building No. 15

Kyoto University,

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.

Research Interest

My research interests are in programming language design and programming language theory. Currently, I am working on the following research projects:

  1. 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.
  2. Space-efficient Polymorphic Gradual Typing: Research on introducing polymorphism in a gradual type system in a space-efficient manner.
  3. Safe Language Interoperability: Research on a new verification method for programs developed in multiple languages.