Li Wei (scientist)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
This is a Chinese name; the family name is Li.
Li Wei 李未
Born (1943-06-08) 8 June 1943 (age 73)
Beijing, China
Nationality PRC
Fields Computer Science
Institutions
Alma mater
Thesis An operational approach to semantics and translation for programming languages (1983)
Doctoral advisor Gordon Plotkin

Li Wei (Chinese: 李未; Pinyin: Lǐ Wèi; born June 8, 1943)[1] is a computer professional and a member of the Chinese Academy of Sciences. In 2002, he became the president of Beijing University of Aeronautics and Astronautics.

Education[edit]

Li graduated from the Department of Mathematics and Mechanics, Beijing 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 has participated in the founding, developing, and improving of the Operation Semantics of Words Structucture. In 1981, he was the first person to successfully use this structure to describe the technique of Parallel, Sync and Communication in software, and systematically solved the problems of concurrent languages, such as Ada and Edison.[citation needed] Operation Semantics of Words Structucture has become one of the classical semantics of programming languages.

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 Holeung Ho Lee Foundation 2006. Retrieved 11 July 2011.
  2. ^ Wèi, Lǐ (1983). An operational approach to semantics and translation for programming languages (PhD thesis).