Pan Liu

Pan Liu was born in Nanchang, Jiangxi, China, in 1976. He received the M.Sc. degree in computer software and theory from Nanchang University in 2006 and the Ph.D. degree in computer application from Shanghai University in 2011. From 1997 to 2006, he was a Senior Software Engineer and worked in several software companies in China. He has developed dozens of software products using Java language and C++ language. From 2006 to 2008, he was a Senior Lecturer at Nanchang University, China. From 2011 to 2018, he was an Associate Professor with the College of information and Computer, Shanghai Business School, Shanghai, China. Since 2012, he has been a Researcher with the Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai. His papers have been published in some well-known international journals and IEEE conferences. His main interests include software testing, model-based testing, formal methods, and algorithm design.