Ли Вэй (ученый-компьютерщик)

В китайском фамилия . Ли имени этом

Ли Вэй Ли Вэй
Рожденный	( 1943-06-08 ) 8 июня 1943 г. Пекин, Китай
Альма-матер	Пекинский университет Эдинбургский университет (доктор философии)
Научная карьера
Поля	Информатика
Учреждения	Университет Ньюкасла Эдинбургский университет Саарский университет Бэйханский университет
Диссертация	Операционный подход к семантике и переводу языков программирования   (1983).
Докторантура	Гордон Плоткин

Ли Вэй ( китайский : 李未 ; пиньинь : Lǐ Wèi ; родился 8 июня 1943 г.) — китайский ученый-компьютерщик и член Китайской академии наук . В 2002 году он стал президентом Бэйханского университета .

Образование

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

Карьера

После окончания учебы он получил финансирование от EPSRC Университета Ньюкасла и Эдинбургского университета в качестве старшего программиста. Он также был приглашенным профессором Саарского университета . В 1997 году он был избран членом Китайской академии наук .

Научные интересы

Ли в основном занимается прикладными исследованиями в области компьютерного программного обеспечения, теории и Интернета, включая языки программирования , разработку программного обеспечения , искусственный интеллект и проектирование интегральных схем .

Достижения

Ли выполнил некоторые из первых работ по структурной операционной семантике параллельных языков программирования, таких как Ада и Эдисон , включая теорию перевода между такими языками с методами доказательства правильности переводов.

В 1992 году построение теории логики выпуска решило проблему неполноты информации, ошибочности знаний и немонотонности выводов.

В 1998 году впервые выступил за исследование технологии интеллектуального анализа данных .