Li Wei ( chino :李 未; pinyin : Lǐ Wèi ; nacido el 8 de junio de 1943) [1] es un científico informático chino y miembro de la Academia de Ciencias de China . En 2002, se convirtió en presidente de la Universidad de Beihang .
Li se graduó del Departamento de Matemáticas y Mecánica de la Universidad de Pekín en 1966. Luego estudió en la Universidad de Edimburgo y obtuvo un doctorado en ciencias de la computación en 1983 bajo la supervisión de Gordon Plotkin . [2]
Después de graduarse, fue financiado por EPSRC en la Universidad de Newcastle y la Universidad de Edimburgo como Programador Senior. También fue profesor invitado en la Universidad de Saarland . Fue elegido miembro de la Academia de Ciencias de China en 1997.
Li se dedica principalmente a la investigación aplicada de software y teoría de computadoras e Internet, incluido el lenguaje de programación , el desarrollo de software , la inteligencia artificial y el diseño de circuitos integrados .
Li ha participado en la fundación, desarrollo y mejora de la estructura de Operación Semántica de Palabras. En 1981, fue la primera persona en utilizar con éxito esta estructura para describir la técnica de Paralelo, Sincronización y Comunicación en software, y resolvió sistemáticamente los problemas de lenguajes concurrentes , como Ada y Edison. [ cita requerida ] Operación Semántica de palabras La estructura se ha convertido en una de las semánticas clásicas de los lenguajes de programación.
1992, la teoría de la lógica de liberación de edificios resolvió la falta de completitud de la información y la falibilidad del conocimiento y la no monotonicidad de la inferencia.