About

Hi there! I’m a first-year master’s student in the Department of Computer Science 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. In my master’s program, I am working on formalizing the Futamura projections (including mathematical proofs of correctness) with the long-term goal of applying these ideas to cryptography and natural language semantics. I am currently studying cryptography in a graduate course, focusing on secure multi-party computation (MPC) based on techniques such as Secret Sharing, Garbled Circuits, and (Fully) Homomorphic Encryption. These techniques involve transformations that are reminiscent of compilation, which has led me to view cryptography as a promising area for programming-language research. Also, I am interested in novel semantic frameworks and have recently been interested in the semantics of quotation and notation.
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.