I am a software engineer and researcher in Tokyo, Japan, with interests in programming language theory and design.

Research Interests

My research interests lie in programming language theory and design. My main areas of focus include functional programming languages, type systems, software verification, and graph transformation.

Publications

Refereed Publications

  1. (paper, extended arXiv) Jin Sano, Naoki Yamamoto, and Kazunori Ueda: “Introducing Linear Implication Types to λGT for Computing With Incomplete Graphs”, Journal of Information Processing, Vol.34, 2026, pp.469–492, DOI: https://doi.org/10.2197/ipsjjip.34.469
  2. (paper) Jin Sano and Kazunori Ueda, “Implementing the λGT Language: A Functional Language with Graphs as First-Class Data”, In Proc. 16th International Conference on Graph Transformation (ICGT 2023), LNCS 13961, Springer-Verlag, 2023, pp.263-277, DOI: https://doi.org/10.1007/978-3-031-36709-0_14.
  3. Jin Sano and Kazunori Ueda: “Towards Axiomatizing Port Hypergraph Isomorphism”, In Proc. PPL2023.
  4. (paper, slide) Jin Sano, Naoki Yamamoto, and Kazunori Ueda: “Type checking data structures more complex than tree”, Journal of Information Processing, Vol.31, 2023, pp.112-130. DOI: https://doi.org/10.2197/ipsjjip.31.112.

Unrefereed Publications

  1. (pdf, slide) Jin Sano and Kazunori Ueda. “A functional language with graphs as first-class data”, In Proceedings of the 39th JSSST Annual Conference, 2022, Presentation Award. (15pp. unrefereed).
  2. (pdf, slide) Jin Sano and Kazunori Ueda. “Introducing a syntax-driven and compositional syntax and semantics to hypergraph rewriting system” (ハイパーグラフ書き換え系への構文駆動で compositional な構文・意味論の提案), In Proceedings of the 38th JSSST Annual Conference, 2021, Student Encouragement Award. (in Japanese, 9pp. unrefereed).
  3. (arXiv) Jin Sano. “Implementing G-Machine in HyperLMNtal”, Bachelor’s thesis, 2020.

Awards

  1. July 2023: IPSJ Computer Science Research Award for Young Scientists
  2. September 2022: Presentation Award. The 39th JSSST Annual Conference, 2022.
  3. September 2021: Student Encouragement Award. The 38th JSSST Annual Conference, 2021.

Professional Experience

  • April 2023 – Present: NTT Computer and Data Science Laboratories.

Education

  • April 2024 – Present: Doctoral Program in Computer Science and Communications Engineering Graduate School of Fundamental Science and Engineering, Waseda University. Supervisor: Professor Kazunori Ueda.

  • April 2021 – March 2023: Master’s Program in Computer Science and Communications Engineering, Graduate School of Fundamental Science and Engineering, Waseda University. Supervisor: Professor Kazunori Ueda.

  • April 2017 – March 2021: Bachelor of Engineering in Computer Science and Engineering, School of Fundamental Science and Engineering, Waseda University. Supervisor: Professor Kazunori Ueda.

Contact

  • jinsano.jp+cs `at` gmail.com