Jump to content

Li Wei (computer scientist)

From Wikipedia, the free encyclopedia
Li Wei 李未
Born (1943-06-08) 8 June 1943 (age 81)
Beijing, China
Alma mater
Scientific career
FieldsComputer science
Institutions
ThesisAn operational approach to semantics and translation for programming languages (1983)
Doctoral advisorGordon Plotkin

Li Wei (Chinese: 李未; pinyin: Lǐ Wèi; born June 8, 1943)[1] is a Chinese computer scientist and a member of the Chinese Academy of Sciences. In 2002, he became President of Beihang University.

Education

[edit]

Li graduated from the Department of Mathematics and Mechanics, Peking University in 1966. He then studied at the University of Edinburgh obtaining a PhD in computer science in 1983 supervised by Gordon Plotkin.[2]

Career

[edit]

After graduation, he was funded by the EPSRC at Newcastle University and the University of Edinburgh as Senior Programmer. He was also a visiting professor at the Saarland University. He was elected to the Chinese Academy of Sciences in 1997.

Research interests

[edit]

Li is mostly engaged in the applied research of Computer Software and Theory and Internet, including programming language, software development, artificial intelligence, and integrated circuit design.

Achievements

[edit]

Li did some of the first work on structural operational semantics of concurrent programming languages such as Ada and Edison, including a theory of translation between such languages with methods for proving the correctness of translations.[2]

1992, building release logic theory solved the incompleteness of information and fallibility of knowledge and nonmonotonicity of inference.

1998, first advocated research on Data Mining Technology。

References

[edit]
  1. ^ Awardee of Technological Sciences Prize - Li Wei - Abstract. The Ho Leung Ho Lee Foundation 2006. Retrieved 11 July 2011.
  2. ^ a b Lǐ, Wèi (1983). An operational approach to semantics and translation for programming languages (PhD thesis).