Li Wei (científico informático)

Li Wei ( chino :李未; pinyin : Lǐ Wèi ; 8 de junio de 1943 - 25 de enero de 2026) fue un científico informático chino miembro de la Academia China de Ciencias . En 2002, se convirtió en presidente de la Universidad de Beihang .

Li nació en Pekín el 8 de junio de 1943. ^{[ 1 ]} Se graduó del Departamento de Matemáticas y Mecánica de la Universidad de Pekín en 1966. Posteriormente, estudió en la Universidad de Edimburgo, donde obtuvo un doctorado en informática en 1983 bajo la supervisión de Gordon Plotkin . ^{[ 2 ]}

Tras su graduación, recibió financiación del EPSRC en la Universidad de Newcastle y en la Universidad de Edimburgo como programador sénior. También fue profesor visitante en la Universidad de Saarland . Li fue elegido miembro de la Academia China de Ciencias en 1997.

Li murió el 25 de enero de 2026, a la edad de 82 años. ^{[ 3 ]}

Li se dedicó principalmente a la investigación aplicada en software y teoría informática e Internet, incluyendo lenguajes de programación , desarrollo de software , inteligencia artificial y diseño de circuitos integrados .

Li realizó algunos de los primeros trabajos sobre semántica operacional estructural de lenguajes de programación concurrentes como Ada y Edison , incluyendo una teoría de traducción entre dichos lenguajes con métodos para probar la corrección de las traducciones. ^{[ 2 ]}

En 1992, la teoría de la lógica de liberación de edificios resolvió la incompletitud de la información, la falibilidad del conocimiento y la no monotonicidad de la inferencia.

En 1998, fue el primero en abogar por la investigación sobre la tecnología de minería de datos .