Mayuko Kori

郡 茉友子

I’m an assistant professor at the Research Institute for Mathematical Sciences, Kyoto University.

My research is in formal verification and logic in computer science. I use tools from category theory, particularly coalgebra, to study problems in these areas.

Mayuko Kori sitting in a park in Paris

Publications

2026

  • Adjointness in property directed reachability analysis.
    Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, and Ichiro Hasuo.
    Formal Methods in System Design (FMSD) 2026. [DOI]
  • From Coalgebraic Determinization to Belief Construction for Partial Observability.
    Mayuko Kori and Kazuki Watanabe.
    Proc. CONCUR 2026. [DOI | arXiv]
  • Adequacy for Predicate Transformer Semantics.
    Kazuki Watanabe, Mirai Ikebuchi, and Mayuko Kori.
    Proc. ICFP 2026. [DOI]
  • A Framework for Coalgebraic Reward-Sensitive Bisimulation.
    Pedro H. Azevedo de Amorim, Mayuko Kori, and Koko Muroya.
    To appear in CMCS 2026. [arXiv]
  • A No-go Theorem for Coalgebraic Product Construction.
    Mayuko Kori and Kazuki Watanabe.
    Proc. FoSSaCS 2026. [DOI | arXiv]

2025

  • Initial Algebra Correspondence under Reachability Conditions.
    Mayuko Kori, Kazuki Watanabe, and Jurriaan Rot.
    Proc. LICS 2025. [DOI | arXiv]

2024

  • Composing Codensity Bisimulations.
    Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, and Shin-ya Katsumata.
    Proc. LICS 2024. [DOI | arXiv | slides]

2023

  • Exploiting Adjoints in Property Directed Reachability Analysis.
    Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, and Ichiro Hasuo.
    Proc. CAV 2023. [DOI | arXiv | slides]

2022

  • The Lattice-Theoretic Essence of Property Directed Reachability Analysis.
    Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, and Ichiro Hasuo.
    Proc. CAV 2022. [DOI | arXiv | slides]

2021

Education

  • PhD in Informatics, March 2025
    The Graduate University for Advanced Studies (SOKENDAI), Informatics.
    Visiting student at the University of Pisa, June–November 2022, hosted by Filippo Bonchi.
  • BSc, March 2020
    The University of Tokyo.

Awards

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

Grants

  • Open Collaborative Research
    公募型共同研究
    National Institute of Informatics, July 2026–March 2027.
  • ACT-X
    Japan Science and Technology Agency (JST), October 2025–March 2028.
    Grant number: JPMJAX25CD
  • Grant-in-Aid for JSPS Fellows
    April 2022–March 2025.
    Grant number: 22J21742

Teaching

  • Linear Algebra B
    線形代数学(講義) B
    Kyoto University, from October 2026.
  • Fundamentals of Computer Science
    コンピュータサイエンス基礎
    Kyoto University, April–July 2026, jointly with Issei Terui, Masahito Hasegawa, and Zeinab Galal.

Academic service

Program committees

ICTAC ’26, ATVA ’24 (AE)

External reviewer

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

Elsewhere

Contact

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