I am a researcher at NTT. I received my Ph.D. from Waseda University. My research interests include formal languages and automata theory, program synthesis, and security.
Dr. of Engineering, 2023
ME in Physics, Electrical and Computer Engineering, 2017
Yokohama National University
BS in Computer Science and Engineering, 2015
University of Aizu