About me
I’m a postdoctoral researcher 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 interest is in the design of programming languages and type systems. I’m currently working on developing a new language mechanism for type-based compatibility & dependency analysis. Keyword: effect/coeffect systems, metaprogramming
Education
| Period | Degree | Institution |
|---|---|---|
| Apr 2020 ~ Mar 2023 | Doctor of Science | 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 2023 | 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 |
|---|---|---|
| 2023 | Organizing Committee | COP2023 |
| 2023 | Program Committee | ICCQ2023 |
| 2022 | Organizing Committee / 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 2023 ~ Mar 2025 |
Postdoctoral Researcher | Computer Software Group, Kyoto University |
| Apr 2022 ~ Mar 2023 |
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 |