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
Papers
- 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]
Theses
- Mayuko Kori.
A Cyclic Proof System for Fixed-Point Arithmetic.
BSc thesis, The University of Tokyo, 2020.
Talks
- Composing Codensity Bisimulations.
LICS 2024, Tallinn, Estonia. Jul 8, 2024. [slide]
JSSST 2024, Osaka, Japan. Sep 10, 2024.
- Exploiting Adjoints in Property Directed Reachability Analysis.
JSSST 2023, Tokyo, Japan. Sep 13, 2023.
CAV 2023, Paris, France. July 19, 2023. [slide]
- The Lattice-Theoretic Essence of Property Directed Reachability Analysis.
PPL 2023, Nagoya, Japan. Mar 6, 2023.
JSSST 2022, online. Sep 1, 2022.
CAV 2022, Haifa, Israel. Aug 7, 2022. [slide]
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
Email: mkori [at] nii.ac.jp