About

Hi there! I’m a research student in the Department of Mathematical and Computing Science at the Tokyo Institute of Technology in Japan (*Please note that the university will be renamed the Institute of Science Tokyo on October 1, 2024). Before joining Tokyo Tech, I majored in History and Philosophy of Science and minored in Computer Science at Waseda University. I’m applying to graduate programs in computer science for the 2025 cycle. Here is my CV.
     My interests lie in Programming Languages (PL) and in applying PL theories and techniques, such as program semantics and compiler design, to other areas, like natural language. Specifically, I am interested in revealing properties common to various kinds of languages through the lens of programming languages. These properties include naming, scope, the correspondence between symbols and meanings, and translation. My research focuses on the static analysis, computational effects, and the syntax-semantics interface. Ultimately, I aim to bridge the gap between programming languages and (written) natural languages - to formally translate natural languages into functional programming languages while preserving meaning(See also EWD667). I believe this will reduce errors in programs and lead to more secure and reliable systems and society in the long run.