Welcome to my homepage
I am a PhD student major in computer science at Texas State University. I got my Masters' degree in Software Engineering in this university in May, 2017 and decided to continue my study and research as a PhD student.
I am currently working with Professor Guowei Yang. Our work is using symbolic execution for software property (assertions) checking.
Before I came to US, I worked for several years as Network Administrator/DBA/Desktop Support in Beijing, China.
I am trilingual: I can speak Chinese (Mandarin), English and Japanese. If you have any document that needs translation, I am glad to help!