Kentaro Kobayashi (小林 賢太朗)
I am a Ph.D. student at Programming Logic Lab., University of Tsukuba, supervised by Yukiyoshi Kameyama.
My research interests are in programming language theory; specifically, I have been interested in the theory of control operators and continuations---their type systems, logics, and semantics.
I am also working as a research assistant at AIST (National Institute of Advanced Industrial Science and Technology) and working on the formalization and verification of statistical programs.
-
E-mail <first name>.<last name>@acm.org
Papers
-
Expressive Power of One-Shot Control Operators and Coroutines
Kentaro Kobayashi and Yukiyoshi Kameyama.
Proc. of the 23rd Asian Symposium on Programming Languages and Systems (APLAS2025), Bengaluru, India, October 2025.
-
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
Yusuke Kawamoto, Kentaro Kobayashi, and Kohei Suenaga. [alphabetical authorship]
Proc. of the 37th International Conference on Computer Aided Verification (CAV2025), Zagreb, Croatia, July 2025.