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
- ACT-X, Grant Number: JPMJAX23CU, Japan Science and Technology Agency (JST), 2023/10-2026/03.
- SOKENDAI Special Researcher (Field-Specific Type), Grant Number: JPMJFS2136, 2022/04-2025/03.