La vida de Li

Se graduó en el Departamento de Computación de la Universidad de Wuhan en 1984 y en el Departamento de Computación de la Universidad Nacional de Tecnología de Defensa en 1986, y permaneció en la escuela para enseñar. En 1999, recibió su doctorado en la Facultad de Ciencias de la Computación de la Universidad Nacional de Tecnología de Defensa. Profesor en 1989, profesor asociado en 1994, profesor en 2006 y director de doctorado en 2002. En 2005, se transfirió de la Universidad Nacional de Tecnología de Defensa y fue asignado a la Facultad de Ciencias de la Computación de la Universidad de Beihang. Actualmente es profesor y supervisor de doctorado en la Facultad de Ciencias de la Computación de la Universidad de Beihang.

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.