Ли Вэй (специалист в области информатики)

Ли Вэй родился в Пекине. В 1966 году окончил факультет математики и механики Пекинского университета. Затем учился в Эдинбургском университете, где в 1983 году получил степень доктора философии по информатике под руководством Гордона Плоткина^[1].

После окончания учёбы работал старшим программистом в Ньюкаслском и Эдинбургском университетах при поддержке EPSRC. Также был приглашённым профессором в Саарском университете.

Занимался прикладными исследованиями в области программного обеспечения и интернета, включая языки программирования, разработку программного обеспечения, искусственный интеллект и проектирование интегральных схем. Ли Вэй выполнил одни из первых работ по структурной операционной семантике языков параллельного программирования, таких как Ада и Edison, включая теорию трансляции между такими языками с методами доказательства корректности трансляций^[1]. В 1992 году разработал теорию логики выпуска, решившую проблемы неполноты информации, ошибочности знаний и немонотонности вывода. В 1998 году первым выступил за исследования в области технологий интеллектуального анализа данных.

В 1997 году Ли Вэй был избран в Китайскую академию наук.

Ли Вэй умер 25 января 2026 года в возрасте 82 лет.