Kazuki Watanabe (渡邉　知樹)

I'm a student at Department of Informatics, School of Multidisciplinary Sciences, The Graduate University for Advanced Studies (SOKENDAI).
I've been in 5-year PhD course since April 2020, supervised by Ichiro Hasuo. (2023.3 — 2023.9: I was in Radboud University as a guest of Sebastian Junges and Jurriaan Rot)

My research field is mainly in formal verification, and category theory.

My e-mail address is kazukiwatanabe at nii.ac.jp .

Papers

Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata, “Composing Codensity Bisimulations.” LICS2024.

Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, and Ichiro Hasuo, “Compositional Value Iteration with Pareto Caching.” CAV2024.

Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, and Sebastian Junges, “Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.” TACAS2024.

Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada and Ichiro Hasuo. "Compositional Probabilistic Model Checking with String Diagrams of MDPs" CAV2023.

Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada and Ichiro Hasuo. "A Compositional Approach to Parity Games." MFPS2021.

Kazuki Watanabe, Koji Mineshima, and Daisuke Bekki. "Questions in Dependent Type Semantics." NLCS2019.

Talks

Kazuki Watanabe, Marck van der Vegt, Sebastian Junges, and Ichiro Hasuo. Compositional Value Iteration with Pareto Caching. 41st JSSST Annual Conference

Kazuki Watanabe, Sebastian Junges, Jurriaan Rot, and Ichiro Hasuo. “A Unifying Approach to Product Constructions for Quantitative Temporal Inference.” Veriprop2024.

Kazuki Watanabe, “Compositional Probabilistic Model Checking with String Diagram” 2024 Workshop on Monoidal Categories in Computer Science and Linguistics.

Kazuki Watanabe, “A Categorical Approach to Compositional Probabilistic Model Checking” Structure Meets Power 2024.

Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot, and Sebastian Junges, “Pareto Curves for Compositionally Model Checking String Diagrams of MDPs.” TACAS2024.

Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada and Ichiro Hasuo. "Compositional Probabilistic Model Checking with String Diagrams of MDPs" PPL2024 .

Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada and Ichiro Hasuo. "Compositional Probabilistic Model Checking with String Diagrams of MDPs" CAV2023.

Kazuki, Watanabe. "Compositional Probabilistic Model Checking with String Diagrams of MDPs" NetTCS .

Kazuki, Watanabe. "Compositional Approaches to Games in Model Checking" PERR2022.

Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada and Ichiro Hasuo. "A Compositional Approach to Parity Games." MFPS2021.

Kazuki Watanabe, Koji Mineshima, and Daisuke Bekki. "Questions in Dependent Type Semantics." NLCS2019.

Grants

Awards

PC

ATVA24(AE), CAV24(AE)

External Reviewer

FoSSaCS25, MFCS24, LICS24, CALCO23