Kentaro Kobayashi

Kentaro Kobayashi (小林賢太朗)

About

I am a Ph.D. student at Programming Logic Lab., University of Tsukuba, supervised by Yukiyoshi Kameyama.
My research interests are in theoretical aspects of computation and programming languages. Specifically, I have been interested in the theory of control operators and continuations—their type systems, logics, and semantics.

I am also a research assistant in the Continuum Computing Trustworthiness Research Group at AIST (National Institute of Advanced Industrial Science and Technology), where I work on formal verification of statistical programs.

E-mail: kentaro.kobayashi [at] acm.org

Papers

Expressive power of one-shot control operators and coroutines (Extended version of the APLAS 2025 paper)
Kentaro Kobayashi and Yukiyoshi Kameyama.
Under submission, September 2026.

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 (APLAS 2025), Bengaluru, India, October 2025.

Full version with proofs available at arXiv

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
Yusuke Kawamoto, Kentaro Kobayashi, and Kohei Suenaga. [authors in alphabetical order]
Proc. of the 37th International Conference on Computer Aided Verification (CAV 2025), Zagreb, Croatia, July 2025.

The repository of StatWhy

Simulating One-Shot Effect Handlers Using Coroutines
Kentaro Kobayashi and Yukiyoshi Kameyama.
Proc. of the 27th Workshop on Programming and Programming Languages (PPL 2025), Aichi, Japan, March 2025.

Talks

統計手法の正しい利用を記述・検証するための形式手法と自動検証ツール
Yusuke Kawamoto, Kentaro Kobayashi, Tetsuya Sato, Kohei Suenaga, and Akira Tanaka.
Poster presentation at IPSJ/SIGSE Software Engineering Symposium (SES2026), Kanagawa, Japan, September 2026.

ワンショット継続を持つコントロールオペレータのマクロ表現可能性
Kentaro Kobayashi and Yukiyoshi Kameyama.
Poster presentation at the 43rd JSSST Annual Conference, Hokkaido, Japan, September 2026.

StatWhy: 仮説検定プログラムのための形式検証ツール
Yusuke Kawamoto, Kentaro Kobayashi, and Kohei Suenaga.
Oral presentation at the 28th Workshop on Programming and Programming Languages (PPL 2026), Kagawa, Japan, March 2026.

仮説検定プログラムのための形式検証ツール StatWhy
Yusuke Kawamoto, Kentaro Kobayashi, and Kohei Suenaga.
Poster presentation at the 27th Workshop on Programming and Programming Languages (PPL 2025), Aichi, Japan, March 2025.

適切な仮説検定を実現するための OCaml モジュール StatEff
Kentaro Kobayashi and Yusuke Kawamoto.
Poster presentation at the 26th Workshop on Programming and Programming Languages (PPL 2024), Niigata, Japan, March 2024.

Activities

Research Assistant, Continuum Computing Trustworthiness Research Group, AIST, August 2023–present. Supervised by Yusuke Kawamoto.

Teaching

Teaching Assistant for Introduction to Information Science, University of Tsukuba. April–June 2024.
Mathematics for Informatics A, led one exercise session, University of Tsukuba. April 2025.
Teaching Assistant for Advanced Course in Programming Languages, University of Tsukuba. May–June 2026.

Service

Artifact Evaluation Committee Member, QEST+FORMATS 2025 and 2026.
Student Volunteer, FLOPS 2026.

Research Grant

Young Researcher Development Program, Graduate School of Systems and Information Engineering, University of Tsukuba, 2025.
Interdisciplinary Next-Generation AI Innovation Human Resource Development Project (JST BOOST), University of Tsukuba, April 2026–present.

Education

Ph.D. student
Department of Computer Science, University of Tsukuba, April 2025–present.

M.Eng. in Computer Science
University of Tsukuba, March 2025.
Supervisor: Yukiyoshi Kameyama.

B.S. in Mathematics
The University of Tokyo, March 2023.
Advisor: Ryu Hasegawa.