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
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.
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
VersionProofsPresentationHackage 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. ImplementationPresentationAuthor-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
VersionPresentation
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.
