Basic Information

Affiliated programs (koza)

• Graduate School of Science, 数学・数理解析専攻　数理解析系　応用数理講座, 助教

Email Address

• Email Address

  kori.mayuko.8ckyoto-u.ac.jp

Academic Degree

• 24 Mar. 2025

  総合研究大学院大学博士（情報学）

Academic Resume (Graduate Schools)

• The Graduate University for Advanced Studies, School of Multidisciplinary Sciences, Department of Informatics, completed

Academic Resume (Undergraduate School/Majors)

• The University of Tokyo, Faculty of Science, Department of Information Science, completed

Language of Instruction

• English

ID,URL

• ORCID ID

  0000-0002-8495-5925

• J-Global ID

  202401010401318225

Website(s) (URL(s))

• https://mkori.com/

researchmap URL

• https://researchmap.jp/mkori

Research

Research Topics, Overview of the research

• Research Topics

  Categorical and lattice-theoretic fixed point theory in theoretical computer science

• Overview of the research

  I've been working on fixed points in program semantics and formal verification in view of categorical or lattice-theoretic abstractions.

Research Interests

• Theoretical Computer Science
• formal verification
• category theory

Research Areas

• Natural sciences, Applied mathematics and statistics
• Informatics, Software
• Informatics, Information theory
• Informatics, Mathematical informatics

Papers

• Adequacy for Predicate Transformer Semantics

  Kazuki Watanabe; Mirai Ikebuchi; Mayuko Kori

  Proceedings of the ACM on Programming Languages, 17 Aug. 2026

  
• Adjointness in property directed reachability analysis.

  Mayuko Kori; Flavio Ascari; Filippo Bonchi; Roberto Bruni 0001; Roberta Gori; Ichiro Hasuo

  Formal Methods Syst. Des., Aug. 2026, Peer-reviewed, Corresponding author

  Access this paper :

  
• A No-go Theorem for Coalgebraic Product Construction.

  Mayuko Kori; Kazuki Watanabe 0003

  FoSSaCS, 2026, Peer-reviewed, Lead author

  Access this paper :

  
• Initial Algebra Correspondence under Reachability Conditions.

  Mayuko Kori; Kazuki Watanabe; Jurriaan Rot

  LICS, 2025, Peer-reviewed, Lead author

  Access this paper :

  
• Composing Codensity Bisimulations.

  Mayuko Kori; Kazuki Watanabe; Jurriaan Rot; Shin-ya Katsumata

  LICS, 2024, Peer-reviewed, Lead author

  
• Exploiting Adjoints in Property Directed Reachability Analysis.

  Mayuko Kori; Flavio Ascari; Filippo Bonchi; Roberto Bruni; Roberta Gori; Ichiro Hasuo

  CAV (2), 2023, Peer-reviewed, Lead author

  
• The Lattice-Theoretic Essence of Property Directed Reachability Analysis.

  Mayuko Kori; Natsuki Urabe; Shin-ya Katsumata; Kohei Suenaga; Ichiro Hasuo

  Computer Aided Verification - 34th International Conference, 2022, Peer-reviewed, Lead author

  
• A Cyclic Proof System for HFL_ℕ.

  Mayuko Kori; Takeshi Tsukada; Naoki Kobayashi 0001

  29th EACSL Annual Conference on Computer Science Logic(CSL), 2021, Peer-reviewed, Lead author

  
• Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.

  Mayuko Kori; Ichiro Hasuo; Shin-ya Katsumata

  32nd International Conference on Concurrency Theory(CONCUR), 2021, Peer-reviewed, Lead author

  

Misc.

• From Coalgebraic Determinization to Belief Construction for Partial Observability

  Mayuko Kori; Kazuki Watanabe

  28 Apr. 2026

  
• A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)

  Pedro H. Azevedo de Amorim; Mayuko Kori; Koko Muroya

  01 Apr. 2026

  

Presentations

• A Lattice-Theoretic Abstraction of PDR via Adjunctions

  Workshop on Abstract and Concrete Techniques in Verification, 24 Jul. 2026, Invited

  
• モデル検査アルゴリズムPDR の束論的抽象化とその応用

  情報処理学会 第157回プログラミング研究発表会, 21 Jan. 2026, Invited

  
• How Notes Support Your Ph.D. Journey

  13th Logic Mentoring Workshop, 23 Jun. 2023, Invited

  
• The Lattice-Theoretic Essence of Property Directed Reachability Analysis

  日本ソフトウェア科学会第39回大会, Sep. 2022, Invited

  

Books and Other Publications

• 圏論の歩き方 = Category theory trotters

  圏論の歩き方委員会

  日本評論社, Oct. 2025

  Find Kyoto University's collection of books :

  

Awards

• 21 Jul. 2023

  CAV Distinguished Paper Award 2023（35th International Conference on Computer Aided Verification）
• 19 Mar. 2024

  優秀学生賞（国立情報学研究所）

Education

Teaching subject(s)

• From 01 Apr. 2026, To 31 Mar. 2027

  Fundamentals of Computer Science

  T023, Spring, Institute for Liberal Arts and Sciences, 2

Administration

Faculty management (title, position)

• From 01 Apr. 2025, To 31 Mar. 2027

  数理解析研究所　ホームページ技術小委員会　委員