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.

My research interest is category theory and model checking.

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

Papers

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. "A Compositional Approach to Parity Games." MFPS2021.

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