Li Wei (informatyk)

W tym chińskim imieniu nazwisko rodowe to Li .

Li Wei 李未
Urodzić się	( 08.06.1943 ) 8 czerwca 1943 Pekin , Chiny
Alma Mater	Uniwersytet Pekiński Uniwersytet w Edynburgu (doktorat)
Kariera naukowa
Pola	Informatyka
Instytucje	Uniwersytet Newcastle Uniwersytet w Edynburgu Uniwersytet Saary Uniwersytet Beihang
Praca dyplomowa	Operacyjne podejście do semantyki i tłumaczenia dla języków programowania (1983)
Doradca doktorski	Gordona Plotkina

Li Wei ( chiński : 李未 ; pinyin : Lǐ Wèi ; ur. 8 czerwca 1943) to chiński informatyk i członek Chińskiej Akademii Nauk . W 2002 roku został rektorem Uniwersytetu Beihang .

Edukacja

Li ukończył Wydział Matematyki i Mechaniki Uniwersytetu Pekińskiego w 1966 roku. Następnie studiował na Uniwersytecie w Edynburgu, uzyskując tytuł doktora informatyki w 1983 roku pod kierunkiem Gordona Plotkina .

Kariera

Po ukończeniu studiów został sfinansowany przez EPSRC na Uniwersytecie w Newcastle i Uniwersytecie w Edynburgu jako starszy programista. Był także profesorem wizytującym na Uniwersytecie Saary . Został wybrany do Chińskiej Akademii Nauk w 1997 roku.

Zainteresowania badawcze

Li zajmuje się głównie badaniami stosowanymi oprogramowania komputerowego i teorii oraz Internetu, w tym językiem programowania , tworzeniem oprogramowania , sztuczną inteligencją i projektowaniem układów scalonych .

Osiągnięcia

Li wykonał jedne z pierwszych prac nad strukturalną semantyką operacyjną języków programowania współbieżnego, takich jak Ada i Edison , w tym teorię tłumaczeń między takimi językami wraz z metodami dowodzenia poprawności tłumaczeń.

1992, budowanie teorii logiki uwalniania rozwiązało problem niekompletności informacji i omylności wiedzy oraz niemonotoniczności wnioskowania.

1998, po raz pierwszy zalecał badania nad technologią eksploracji danych 。