1984 graduated from the computer department of Wuhan University, 1986 graduated from the computer department of National University of Defense Technology, and stayed on as a teacher. 1999 received a doctorate from the School of Computer Science, National University of Defense Technology. 1989 lecturer, 1994 associate professor, 5438+0 professor in 2006, and doctoral supervisor in 2002. In 2005, he changed jobs from National University of Defense Technology and was assigned to Beihang Computer College. He is currently a professor and doctoral supervisor at the School of Computer Science, Beihang University.

EATCS member, senior member of China Computer Federation, member of theoretical computer science professional committee, member of editorial board of International Journal of Data Mining and Bioinformatics (IJMB), member of ICYCS'200 1, BASICS' 200 1, IEEE DMB' 2006, BioDM'2007, and member of project committee of IEEE DMIR'2007.

He has undertaken or presided over many projects of the National Natural Science Foundation and the National 863 Program, and made important research achievements in process algebra theory, software formal development method, formal analysis and verification technology of security protocols, and data mining technology. Some important work has been cited by colleagues at home and abroad. In China Science, China Computer Journal, Journal of Software and Computer Science and Technology, International Journal of Data Mining and Bioinformatics, and ICALP'98, TACAS'99, APPT'2003, ER'2004, AI'2004, HPCC'2006, SEKE'2006, JM.

He has been engaged in the teaching of computer science theory for a long time, and has taught many undergraduate, master and doctoral courses such as discrete mathematics, abstract algebra, formal language, formal semantics and advanced topics of computer theory.

A theorem prover PiM for π calculus is designed and implemented. A prototype of security protocol verification tool SPVT(v 1.0) based on process algebra and logic program is designed and implemented. The copyright of this computer software has been registered (registration number: 2004SR04230). An improved version has been introduced.