Mayuko Kori (郡 茉友子)

I’m Mayuko Kori, a 5th-year student in 5-year Ph.D. course at Dept. of Informatics, The Graduate University for Advanced Studies (SOKENDAI). My supervisor is Ichiro Hasuo.

Research Interests

• fixed point theory
• category theory
• formal verification

Publications

• Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata.
  Composing Codensity Bisimulations.
  Proc. LICS 2024.
  [doi | arXiv]
• Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo.
  Exploiting Adjoints in Property Directed Reachability Analysis.
  Proc. CAV 2023.
  [doi | arXiv]
• Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, 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 2021.

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

• Grant-in-Aid for JSPS Fellows, Grant Number: 22J21742, April 2022 - March 2025.

Contact

Email: mkori [at] nii.ac.jp