1947 was born, 1970 graduated from the mathematics department of Nanjing university, visited the computer department of Cornell university in the United States from February to April, 1985, and worked as a visiting researcher at Santa Clara university in the United States from June to April, 1996./kloc-0 was promoted to professor in 1992, and began to enjoy the special allowance of the State Council. In the same year, he was rated as a young and middle-aged academic leader in colleges and universities in Jiangxi Province. 1996 was awarded the title of young and middle-aged expert with outstanding contributions in the country. 1997 was approved as the first trans-century academic and technical leader in the field of computer and information in Jiangxi province. In 2000, he was hired as a part-time tutor for doctoral students in Institute of Software, Chinese Academy of Sciences. In 2003, he won the prize of famous teacher in provincial universities. He is currently Dean of Computer Information Engineering College, Director of Jiangxi Key Laboratory of High Performance Computing Technology, Software Science and Technology Center of Jiangxi University, Member of Expert Committee of Teacher Education Informatization of Ministry of Education, Director of China Computer Federation, Director of China Artificial Intelligence Society and Vice Chairman of Jiangxi Computer Society. He has successively undertaken 1 National "863 Plan", national military * * * software, national major basic research (973 Plan) pre-research projects and international cooperation projects, 5 national natural science foundation projects, and provincial and ministerial-level projects 10, and put forward the new definition and development strategy of loop invariants, unified algorithm design method, generic algorithm design language Radl and generic abstraction. Based on these new concepts and methods, the PAR method and PAR platform supporting software formalization and automation development were successfully developed, and its preliminary research results won the first prize of Jiangxi Science and Technology Progress Award in 1995. More than 90 papers have been published in famous academic journals and conferences at home and abroad, including more than 20 papers retrieved by SCI and EI.