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

Education

• 2020.4 — Now
  5-year Ph.D. course
  Hasuo Lab, Dept. of Informatics, The Graduate University for Advanced Studies (SOKENDAI)
  (2022.6 — 2022.11: visiting student in the University of Pisa hosted by Filippo Bonchi)
• 2018.4 — 2020.3
  Bachelor of Science
  Dept. of Information Science, The University of Tokyo
• 2016.4 — 2018.3
  Natural Sciences I, College of Arts and Sciences Junior Div., The University of Tokyo

Papers

• 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]

Theses

• Mayuko Kori.
  A Cyclic Proof System for Fixed-Point Arithmetic.
  BSc thesis, The University of Tokyo, 2020.

Talks

• Exploiting Adjoints in Property Directed Reachability Analysis.
  JSSST 2023, Tokyo, Japan. Sep 13, 2023.
  
• Exploiting Adjoints in Property Directed Reachability Analysis.
  CAV 2023, Paris, France. July 19, 2023.
  [slide]
• The Lattice-Theoretic Essence of Property Directed Reachability Analysis.
  PPL 2023, Nagoya, Japan. Mar 6, 2023.
  
• The Lattice-Theoretic Essence of Property Directed Reachability Analysis.
  JSSST 2022, online. Sep 1, 2022.
  
• The Lattice-Theoretic Essence of Property Directed Reachability Analysis.
  CAV 2022, Haifa, Israel. Aug 7, 2022.
  [slide]
• The Lattice-Theoretic Essence of Property Directed Reachability Analysis.
  CMCS 2022, online (hybrid: Munich, Germany). April 3, 2022.
• Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.
  CONCUR 2021, online. Aug 26, 2021.
• Initial Algebra-Final Coalgebra Coincidence in Fibrations.
  CSCAT 2021, online. Mar 18, 2021.
• A Cyclic Proof System for HFL(N).
  CSL 2021, online. Jan 27, 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, 2022/04-2025/03

Contact

Email: mkori [at] nii.ac.jp