Under Construction!!!🚧

• I will update this website by late August🙇.

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 currently studying a program analysis technique (AAMs) for programs with effect handlers. I’m applying to graduate programs in computer science for the 2025 cycle. Here is my CV (This is an old version. I will upload a new one soon!).
My ultimate goal is to bridge the gap between programming languages and natural languages - to formally translate natural languages into programming languages while preserving meaning. I believe this will reduce errors in programs and lead to more secure and reliable systems in the long run.