Mayuko Kori (郡 茉友子)

I’m an assistant professor at Research Institute for Mathematical Sciences.

My research interests lie in fixed points arising in logic, formal verification, and related areas of computer science using tools from category theory.

Publications

• Pedro H. Azevedo de Amorim, Mayuko Kori, and Koko Muroya.
  A Framework for Coalgebraic Reward-Sensitive Bisimulation.
  To appear in CMCS 2026. [arXiv]
• Mayuko Kori and Kazuki Watanabe.
  A No-go Theorem for Coalgebraic Product Construction.
  Proc. FoSSaCS 2026. [doi | arXiv]
• Mayuko Kori, Kazuki Watanabe, and Jurriaan Rot.
  Initial Algebra Correspondence under Reachability Conditions.
  Proc. LICS 2025. [doi | arXiv]
• Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, and Shin-ya Katsumata.
  Composing Codensity Bisimulations.
  Proc. LICS 2024. [doi | arXiv]
• Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, and Ichiro Hasuo.
  Exploiting Adjoints in Property Directed Reachability Analysis.
  Proc. CAV 2023. [doi | arXiv]
• Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, and Ichiro Hasuo.
  The Lattice-Theoretic Essence of Property Directed Reachability Analysis.
  Proc. CAV 2022. [doi | arXiv]
• Mayuko Kori, Ichiro Hasuo and Shin-ya Katsumata.
  Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.
  Proc. CONCUR 2021. [doi | arXiv]
• Mayuko Kori, Takeshi Tsukada and Naoki Kobayashi.
  A Cyclic Proof System for HFL(N).
  Proc. CSL 2021. [doi | arXiv]

Education

• PhD in Informatics, The Graduate University for Advanced Studies (SOKENDAI), March 2025.
  (June 2022 — Nov. 2022: visiting student in the University of Pisa hosted by Filippo Bonchi)
• Bsc, The University of Tokyo, March 2020.

Awards

• Best student award, National Institute of Informatics, March, 2024.
• Distinguished paper award (jointly with Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, and Ichiro Hasuo.), CAV 2023, July, 2023.

Grants

• ACT-X, Grant Number: JPMJAX25CD, Japan Science and Technology Agency (JST), October 2025 - March 2028.
• Grant-in-Aid for JSPS Fellows, Grant Number: 22J21742, April 2022 - March 2025.

PC

ICTAC’26, ATVA’24 (AE)

External reviewer

MFPS’26, LICS’26, FoSSaCS’25, ICALP’25, ICTAC’24, CMCS’24, POPL’23, CONCUR’22

Contact

Email: mkori [at] kurims.kyoto-u.ac.jp