Yudai Tanabe
Assistant Professor
I am an Assistant Professor in Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology, where I co-lead the PRG-group alongside Hidehiko Masuhara and Youyou Cong.
I received my B.S., M.S., and D.S. degrees from Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology in 2018, 2020, and 2023 respectively.
Formerly, I was a Japan Society for the Promotion of Science (JSPS) Research Fellow at Tokyo Institute of Technology (2022-2023), and a program-specific researcher (postdocoral position) in Computer Software Group, Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University (2023-2024).
I am also a member of Association for Computing Machinery.
coordinates
Postal Address:Department of Mathematical and Computing Science, Tokyo Institute of Technology
Ookayama 2-12-1 W8-35, Meguro-ku, Tokyo 152-8552 Japan
E-mail:yudaitnb [at] prg.is.titech.ac.jp
Office:E1005, West Bldg. 8E (“21” in the campus map)
research interests
My research interests are in programming language design and programming language theory. I am currently working on the following research projects:
- Programming Language with Versions. 👉APLAS’23, 👉SLE’22, 👉‹Programming›’22
- Space-efficient Gradual Typing. 👉PLDI’24 (Accepted, publishing soon!)
- Safe Language Interoperability. Coming soon!