2018-2020 3-year Ph.D course, Department of Informatics, SOKENDAI
Assistant Professor, Graduate School of Informatics, Kyoto University
He is working on quality assurance of cyber-physical systems using lightweight formal methods.
After finishing my master's program, I entered the Graduate University for Advanced Studies, SOKENDAI for the third year due to the transfer of my supervisor, Professor Ichiro Hasuo. In SOKENDAI, I studied the quality assurance of cyber-physical systems requiring high reliability, such as automobiles. In my research, I utilized mathematical methods such as logic and automata to improve reliability. Currently, I am an assistant professor at the Graduate School of Informatics, Kyoto University. I am continuing my research on improving the reliability of cyber-physical systems.
In the Department of Informatics at SOKENDAI, all students are hired as research assistants at the National Institute of Informatics (NII) except for MEXT scholarship students and working students. Moreover, there is a special research assistant program for outstanding students. The qualified students can receive a higher salary. These financial supports by employment, which are unfortunately not very common in Japanese universities, are very helpful for full-time students.
At SOKENDAI, there are a lot of opportunities to have a discussion with many other researchers. The Open House of NII is one of such opportunities. The Open House is an annual event of NII to present the research to the public, including researchers in other fields, researchers in industry, and the general public. The students in this department have an opportunity to present their research at this event and discuss their research with various people. Such an opportunity is helpful in looking at our own research from other viewpoints.
Another fruitful opportunity to broaden the scope is a discussion with various students, many of them are from abroad. There are many international students and internship students at SOKENDAI. We can broaden our research scope through discussion with them, which is, in my experience, quite helpful to the research. We can also improve our English skills and learn about different cultures through daily conversations with them.
Overall, there are many opportunities to broaden the research perspectives as well as many other supports by SOKENDAI. I believe that broadening the research perspectives is highly helpful in deepening our research, and thus, the environment in SOKENDAI is very attractive.
Human-Agent Interaction is a research area that designs interactions between humans and anthropomorphic agents and robots. Especially, my research focuses on agent's social advancement through empathy between humans and agents.
