Reflections on My Master's Course

My first project was Synstiller, which aimed to build an interpretable coding model. Over nearly a year and a half, I invested substantial effort to solve the problem, but I did not achieve clear results. However, knowing I did my best allowed me to let go with confidence, teaching me that doing my best is the key to moving on without regret.

After that, I worked on a project called VeriSafe Agent, which verifies an agent’s behavior from a program verification perspective. In this project, the biggest challenge was collaboration with another lab. Aligning terminology and expressions, and writing the paper in the other field’s language, were extremely demanding. Through this experience, I realized that communication ability is a crucial skill for good research.

Finally, I worked on Expecto, which generates program specifications from natural language. This was my first project in which I found, defined, and solved the problem entirely on my own from end to end. Coincidentally, emerging discussions in the field validated that I was tackling a timely problem (e.g., spec-driven development). This experience taught me that impactful research must go beyond personal curiosity to address actual real-world needs.

As I conclude my Master’s degree, I am eager to apply the lessons I have learned to the next stage of my academic journey. I would like to express my sincere gratitude to my advisor, labmates, parents, and friends for their unwavering support throughout this process.