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

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

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

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, 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