I am a software engineer (and a researcher) interested in theories and designs of programming languages, living in Tokyo, Japan.

Education

  • April 2023 – Present: Software Engineer at a Japanese tech company.

  • 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.

Research Interests

I am interested in the theories and designs of programming languages. My main areas of focus include functional programming languages, type systems, software verification, and graph transformation.

Publications

Refereed.

  1. (arXiv) Jin Sano, Naoki Yamamoto, and Kazunori Ueda: “Introducing Linear Implication Types to λGT for Computing With Incomplete Graphs”, to be published in Journal of Information Processing.
  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.

  1. (pdf, slide) Jin Sano and Kazunori Ueda. “A functional language with graphs as first-class data”, In Proc. 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 Proc. The 38th JSSST Annual Conference, 2021, Student Encouragement Award. (in Japanese, 9pp. unrefereed).
  3. (arXiv) Jin Sano. “Implementing G-Machine in HyperLMNtal”, Bachelor thesis, 2020.

Awards

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

Contact