Yudai Tanabe

I’m a Ph.D. student at Programming Research Group, Department of Mathematical and Computing Science, Tokyo Institute of Technology, under the supervision of Prof. Hidehiko Masuhara.

E-mail: yudaitnb [at] prg.is.titech.ac.jp

Research Interest:

My research interest is on types and programming languages. I’m currently working on developping a new language mechanism for type-based compatibility & dependency analysis. I’ve also interested in the following topics:

  1. Type systems, especially effects & coeffects
  2. Multi-stage programming

Education:

Year Degree Institution
March 2020 Master of Science Department of Information Science, School of Science, Tokyo Institue of Technology.
March 2018 Bachelor of Science Department of Information Science, School of Science, Tokyo Institue of Technology.

Scholarship:

Period Scholarship Association
April 2020 ~ Tokyo Tech Tsubame Scholarship Tokyo Institute of Technology

Activities

Academic Experiences:

Year Role Conference
2020 Student Volunteer SPLASH!/ECOOP’20
2020 Co-reviewer Onward! Essays

Teaching Experiences:

Year Period Class Association Role
2020 3Q (October~) Programming I (プログラミング第一) [Class] [OCW] Tokyo Institute of Technology TA
2020 2Q (June~) Information Literacy 2 (情報リテラシ第二) [3b] [OCW] Tokyo Institute of Technology TA (Temporary)
2020 1Q (May~) Introduction to Computer Science (計算機科学概論) [OCW] Tokyo Institute of Technology TA
2019 3Q (September~) Programming I (プログラミング第一) [Class] [OCW] Tokyo Institute of Technology TA
2019 2Q (June~) Information Literacy 2 (情報リテラシ第二) [1b,3b] [OCW(1b)] Tokyo Institute of Technology TA
2019 1Q (April~) Introduction to Computer Science (計算機科学概論) [OCW] Tokyo Institute of Technology TA
2018 2Q (June~) Information Literacy 2 (情報リテラシ第二) [1b] [OCW] Tokyo Institute of Technology TA
2018 1Q (April~) Information Literacy 1 (情報リテラシ第一) [1b] [OCW] Tokyo Institute of Technology TA
2018 1Q (April~) Introduction to Computer Science (計算機科学概論) [OCW] Tokyo Institute of Technology TA

Job Experiences:

Period Association Position
July 2018 ~ August 2018 IBM Research Tokyo Research Tokyo Student Intern (paid intern, full-time)
March 2014 ~
MYU Research Editorial assistant of scientific journal (sensing technology, applied physics)
Technical assistant