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

Ли Вэй

кит. 李未

Дата рождения

8 июня 1943 года

Место рождения

Пекин, Китай

Дата смерти

25 января 2026 года

Место смерти

Пекин, Китай

Род деятельности

специалист в области информатики

Место работы

• Ньюкаслский университет
• Эдинбургский университет
• Саарский университет
• Бэйханский университет

Ли Вэй (кит. 李未; ^{[Нет даты!]}) — китайский специалист в области информатики, член Китайской академии наук. В 2002 году стал президентом Бэйханского университета.

Биография

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

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

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

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

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

Примечания

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Ли Вэй (специалист в области информатики)», расположенная по адресу: — https://ru.ruwiki.ru/wiki/Ли_Вэй_(специалист_в_области_информатики) Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».