About

Hi there! I’m a first-year master’s student in the Programming Logic Group at the University of Tsukuba. Also, I’m a technical assistant at the National Institute for Japanese Language and Linguistics (NINJAL). My interests lie in the theoretical and human aspects of programming languages (more details can be found in my CV). I am particularly interested in semantics-preserving transformations across different levels of abstraction.
Previously, I was a research student in the Department of Mathematical and Computing Science at the Institute of Science Tokyo in Japan. Before joining Science Tokyo, I majored in History and Philosophy of Science and minored in Computer Science at Waseda University. Due to my advisor’s retirement at the University of Tsukuba, I am scheduled to transfer to another institution after two years (from April 2028) and am looking for a new place.