Associate Professor (Sumii-Matsuda Lab, Graduate
School of Information Sciences, Tohoku University)
PhD
(Information Science and Technology) from the University of Tokyo
Interests
- Software Science
- Programming Languages
- Theoretical Computer Science
- Program Transformation/Program Derivation
- Functional Programming
- Domain Specific Languages
Topics/Keywords of My Research
- Bidirectional Transformations
- Programming Languages for Bidirectional Transformations
- Program Inversion, Inverse Computation, Reversible Programming
- (Embedded) Domain-Specific Languages
- Correctness-by-Construction
Email: kztk@tohoku.ac.jp
Links: GitHub: kztk-m, BitBucket: kztk, X: KazutakaMatsuda
Please feel free to reach out regarding any of the
following/たとえば以下の件など,お気軽にご連絡ください:
- Professional requests (talks, committees, consulting,
etc.)/お仕事のご依頼(講演依頼,委員,技術相談など)
- Collaborations and joint research/共同研究のおさそい
- Research discussions/研究打ち合わせ・議論
- Questions regarding my courses/講義・演習に関する質問
- Any other matters related to my professional
activities/その他,私の研究・教育活動に関すること何でも
About student applications: Thank you for your
interest in our research group. If you are considering applying, please
first read the instructions on our group leader’s
website before reaching out.
Selected Publications
[Full Version] [DBLP] [Google
Scholar] [Research
Map]
- Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang: Reconciling Partial
and Local Invertibility, ESOP 2024: 33rd European Symposium on
Programming, Part II, LNCS 14577, 59–84, 2024. (Open Access) Implementation Agda Formalization Author Version
- Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu: Embedding by
Unembedding, Proceedings of the ACM on Programming Languages,
Volume 7, No. ICFP: 189:1-189:47. (2023). (Open Access)
- Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, and Meng Wang:
Synbit: Synthesizing
Bidirectional Programs using Unidirectional Sketches
Proceedings of the ACM on Programming Languages, Volume 5, No. OOPSLA:
105:1-105:31 (2021). (Open Access) Implementation Demo Page Full Version on arXiv
- Kazutaka Matsuda and Meng Wang: Sparcl: A Language for
Partially-Invertible Computation. Proceedings of the ACM on
Programming Languages, Volume 4, No. ICFP: 118:1-118:31 (2020). (Open
Access) Presentation Talk Video on YouTube A Bit Longer Presentation (Presented at
PPL 2021)
- Kazutaka Matsuda: Modular
Inference of Linear Types for Multiplicity-Annotated Arrows.
ESOP 2020: 29th European Symposium on Programming, LNCS 12075, 456–483.
2020. (Open Access) Full Version
- Kazutaka Matsuda and Meng Wang: HOBiT:
Programming Lenses without using Lens Combinators. ESOP 2018:
27th European Symposium on Programming, LNCS 10801, pp. 31–59. 2018.
(Open Access) Presentation Prototype Implementation
- Kazutaka Matsuda and Meng Wang: Applicative Bidirectional
Programming with Lenses, ICFP 2015: the 20th ACM SIGPLAN
International Conference on Functional Programming, pp. 62–74. 2015.
Author
Version Proofs Presentation Hackage Page
- Kazutaka Matsuda and Meng Wang: FliPpr: A Prettier Invertible
Printing System. ESOP 2013: 22nd European Symposium on Programming,
LNCS 7792, pp. 101–120. 2013. Implementation Presentation Author-Version
- Kazutaka Matsuda, Kazuhiro Inaba, and Keisuke Nakano:
Polynomial-Time Inverse Computation for Accumulative Functions with
Multiple Data Traversals, PEPM 2012: ACM SIGPLAN 2012 Workshop on
Partial Evaluation and Program Manipulation, pp. 5–14. 2012. Best Paper.
Author
Version Presentation
Work Experience
- Apr. 2015–present: Associate Professor, Graduate School of
Information Sciences, Tohoku University.
- Apr. 2012–Mar. 2015: Assistant Professor, Graduate School of
Information Science and Technology, the University of Tokyo.
- Apr. 2010–Mar. 2012: Assistant Professor, Graduate School of
Information Sciences, Tohoku University.
- Apr. 2008–Mar. 2010: JSPS Research Fellow (DC2: Apr. 2008–Mar. 2009,
PD: Apr. 2009–Mar. 2010)
Education
- 2004: Bachelor of Engineering, The University of Tokyo
- 2006: Master of Information Science and Technology, The University
of Tokyo
- 2009: PhD in the field of Information Science and Technology from
the University of Tokyo