Hi, I am a master student studying in Japan Advanced Institute of Science and Technology (JAIST) in Ishikawa, Japan and majoring in information science. I have studied in Shenyang University of Chemical Technology in China and got a bachelor degree of Software Engineering. My second degree is bachelor of Management when I studied in Hokuriku University as a transferred students in Japan .
My research subject is boardly about Model Checking. Recently, my researching theme is model checking in automatic transport system. Also, I am searching for some opportunities of internship. If you have some chances, please contact me by e-mail.
Thank you.