About me

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.

I am also a member of Association for Computing Machinery.

CV

Research Interest

My research interest is in the design of programming languages and type systems. Keyword: effect/coeffect systems, metaprogramming

I’m currently working on developing a new language mechanism for versiontype-based compatibility & dependency analysis.

Education

Period Degree Institution
Apr 2020 ~ Mar 2023 Doctor of Science (expected) Department of Information Science, School of Science, Tokyo Institue of Technology.
Apr 2018 ~ Mar 2020 Master of Science Department of Information Science, School of Science, Tokyo Institue of Technology.
Apr 2014 ~ Mar 2018 Bachelor of Science Department of Information Science, School of Science, Tokyo Institue of Technology.

Scholarship

Period Scholarship Association
Apr 2022 ~ Mar 2024 JSPS Research Fellowship for Young Scientists (DC2) Japan Society For the Promotion of Science (JSPS)
Apr 2020 ~ Mar 2022 Tokyo Tech Tsubame Scholarship Tokyo Institute of Technology

Academic Service

Year Role Association
2022 Workshop Organizers / Program Committee COP2022
2022 Reviewer PeerJ Computer Science
2022 Organizing Committee PEPM History Project
2021 External Reviewer Scheme’21
2021 Panelist (Social Event) PPL2021
2020 Student Volunteer SPLASH!/ECOOP’20
2020 Co-reviewer Onward! Essays

Teaching Experiences

Period Class Role
2020 3Q (Oct~) Programming I [Class] [OCW]
Tokyo Institute of Technology
TA
2020 2Q (Jun~) Information Literacy 2 [3b] [OCW]
Tokyo Institute of Technology
TA (Temp)
2020 1Q (May~) Introduction to Computer Science [OCW]
Tokyo Institute of Technology
TA
2019 3Q (Sep~) Programming I [Class] [OCW]
Tokyo Institute of Technology
TA
2019 2Q (Jun~) Information Literacy 2 [1b,3b] [OCW(1b)]
Tokyo Institute of Technology
TA
2019 1Q (Apr~) Introduction to Computer Science [OCW]
Tokyo Institute of Technology
TA
2018 2Q (Jun~) Information Literacy 2 [1b] [OCW]
Tokyo Institute of Technology
TA
2018 1Q (Apr~) Information Literacy 1 [1b] [OCW]
Tokyo Institute of Technology
TA
2018 1Q (Apr~) Introduction to Computer Science [OCW]
Tokyo Institute of Technology
TA

Job Experiences

Period Position Association
Apr 2022 ~
Mar 2024
JSPS Research Fellow (DC2) Japan Society for the Promotion of Science
Nov 2021 ~
Dec 2021
Research Tokyo Student Intern
(paid intern, part-time)
IBM Research Tokyo
May 2021 ~
Mar 2022
Research Assistant (part-time)
Kanon project
Programming Group,
Tokyo Institute of Technology
Jul 2018 ~
Aug 2018
Research Tokyo Student Intern
(paid intern, full-time)
IBM Research Tokyo
Mar 2014 ~
Present
Editorial assistant
of Scientific Journal
MYU Research