基本情報

協力講座

• 理学研究科, 数学・数理解析専攻　数理解析系　応用数理講座, 助教

全学メールアドレス

• 全学メールアドレス

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

学位

• 2025年03月24日

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

出身大学院・研究科等

• 総合研究大学院大学, 複合科学研究科, 情報学専攻, 修了

出身学校・専攻等

• 東京大学, 理学部, 情報科学科, 卒業

使用言語

• 英語

ID,URL

• ORCID ID

  0000-0002-8495-5925

• J-Global ID

  202401010401318225

関連Webサイト

• https://mkori.com/

researchmap URL

• https://researchmap.jp/mkori

研究

研究テーマ・研究概要

• 研究テーマ

  コンピュータ科学における圏論・束論的不動点理論

• 研究概要

  プログラム意味論や形式検証に現れる不動点の研究を圏論・束論的抽象化のもとで行っている。

研究キーワード

• 理論計算機科学
• 形式検証
• 圏論

研究分野

• 自然科学一般, 応用数学、統計数学
• 情報通信, ソフトウェア
• 情報通信, 情報学基礎論
• 情報通信, 数理情報学

論文

• Adequacy for Predicate Transformer Semantics

  Kazuki Watanabe; Mirai Ikebuchi; Mayuko Kori

  Proceedings of the ACM on Programming Languages, 2026年08月17日

  
• Adjointness in property directed reachability analysis.

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

  Formal Methods Syst. Des., 2026年08月, 査読有り, 責任著者

  この論文にアクセスする：

  
• A No-go Theorem for Coalgebraic Product Construction.

  Mayuko Kori; Kazuki Watanabe 0003

  FoSSaCS, 2026年, 査読有り, 筆頭著者

  この論文にアクセスする：

  
• Initial Algebra Correspondence under Reachability Conditions.

  Mayuko Kori; Kazuki Watanabe; Jurriaan Rot

  LICS, 2025年, 査読有り, 筆頭著者

  この論文にアクセスする：

  
• Composing Codensity Bisimulations.

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

  LICS, 2024年, 査読有り, 筆頭著者

  
• Exploiting Adjoints in Property Directed Reachability Analysis.

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

  CAV (2), 2023年, 査読有り, 筆頭著者

  
• 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年, 査読有り, 筆頭著者

  
• A Cyclic Proof System for HFL_ℕ.

  Mayuko Kori; Takeshi Tsukada; Naoki Kobayashi 0001

  29th EACSL Annual Conference on Computer Science Logic(CSL), 2021年, 査読有り, 筆頭著者

  
• 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年, 査読有り, 筆頭著者

  

MISC

• From Coalgebraic Determinization to Belief Construction for Partial Observability

  Mayuko Kori; Kazuki Watanabe

  2026年04月28日

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

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

  2026年04月01日

  

講演・口頭発表等

• A Lattice-Theoretic Abstraction of PDR via Adjunctions

  Workshop on Abstract and Concrete Techniques in Verification, 2026年07月24日, 招待有り

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

  情報処理学会 第157回プログラミング研究発表会, 2026年01月21日, 招待有り

  
• How Notes Support Your Ph.D. Journey

  13th Logic Mentoring Workshop, 2023年06月23日, 招待有り

  
• The Lattice-Theoretic Essence of Property Directed Reachability Analysis

  日本ソフトウェア科学会第39回大会, 2022年09月, 招待有り

  

書籍等出版物

• 圏論の歩き方 = Category theory trotters

  圏論の歩き方委員会

  日本評論社, 2025年10月

  京大の蔵書を調べる：

  

受賞

• 2023年07月21日

  CAV Distinguished Paper Award 2023（35th International Conference on Computer Aided Verification）
• 2024年03月19日

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

教育

担当科目

• 自 2026年04月01日, 至 2027年03月31日

  コンピュータサイエンス基礎

  T023, 前期, 国際高等教育院, 2

大学運営

部局運営(役職等)

• 自 2025年04月01日, 至 2027年03月31日

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