cv | Yudai Tanabe

Full Name	Yudai Tanabe
Languages	Japanese, English

2023
Doctor of Science

Department of Mathematical and Computing Science, School of Computing, Tokyo Institue of Technology.
- Dissertation “A Programming Language with Versions”.
  - Official archive
  - Phd Abstract, Journal of Functional Programming
2020

Master of Science

Department of Mathematical and Computing Science, School of Computing, Tokyo Institue of Technology.
2018

Bachelor of Science

Department of Information Science, School of Science, Tokyo Institue of Technology.

2024 - 2029
Assistant Professor

Department of Mathematical and Computing Science, School of Computing, Tokyo Institute of Technology
- Running PRG-group with Hidehiko Masuhara and Youyou Cong
2023 - 2024
Program-specific Researcher

Computer Software Group, Kyoto University
- KAKENHI 20H00582
2022 - 2023
JSPS Research Fellow

Japan Society for the Promotion of Science
- KAKENHI 22KJ1313 / 22J14382
2021 - 2021
Research Tokyo Student Intern (paid, part-time)

IBM Research Tokyo
- Research & development on a Java compiler
2021 - 2021
Research Assistant

Programming Group, Tokyo Institute of Technology
- Kanon, Live Programming for Data Structure Programming
- DEMO
2018 - 2018
Research Tokyo Student Intern (paid, part-time)

IBM Research Tokyo
- Research & development on a Java compiler
2014 - 2022
Editorial / Technical Assistant

MYU Research
- Publication, editing, and translation for scientific journals in applied phisics, medicine, and philosophy