Miembro de EATCS, miembro senior de la Federación de Computación de China, miembro del Comité Profesional de Ciencias de la Computación Teórica, miembro del consejo editorial de International Journal of Data Mining and Bioinformatics (IJMB), ICYCS'2001, BASICS' 2001, IEEE Miembro del comité del proyecto DMB' 2006, BioDM'2007, IEEE DMIR'2007.
Realizó o presidió múltiples proyectos de la Fundación Nacional de Ciencias Naturales y el Programa Nacional 863, y logró importantes investigaciones en teoría de álgebra de procesos, métodos formales de desarrollo de software, tecnología de verificación y análisis formal de protocolos de seguridad, tecnología de minería de datos. , etc. Resultados. Algunos colegas nacionales y extranjeros han citado algunos trabajos importantes. En "Science China", "Chinese Computer Journal", "Journal of Software and Computer Science and Technology", "International Journal of Data Mining and Bioinformatics" e ICALP'98, TACAS'99, APPT'2003, ER'2004, AI ' 2004, HPCC'2006, SEKE'2006, JMLC'2006, GrC'2006, IEEE DMB' 2006, DS' 2006, PAKDD' 2007, DMIR'2007 y otras revistas.
He estado dedicado a la enseñanza de teoría de la informática durante mucho tiempo y he impartido muchos cursos de pregrado, maestría y doctorado, como matemáticas discretas, álgebra abstracta, lenguaje formal, semántica formal y temas avanzados en teoría de la computación. .
Diseñé e implementé un demostrador de teoremas PiM para el cálculo de π. Diseñé e implementé un prototipo de herramienta de verificación de protocolos de seguridad SPVT (v1.0) basado en álgebra de procesos y programas lógicos. Se ha registrado el copyright de este software informático (número de registro: 2004SR04230). Se ha lanzado una versión mejorada.