Li Wei (; born June 8, 1943)Awardee of Technological Sciences Prize - Li Wei - Abstract.
The Ho Leung Ho Lee Foundation 2006. Retrieved 11 July 2011. is a Chinese computer scientist and a member of the Chinese Academy of Sciences. In 2002, he became President of Beihang University.

Education

Li graduated from the Department of Mathematics and Mechanics,

Peking University Peking University (PKU; ) is a public research university in Beijing, China. The university is funded by the Ministry of Education. Peking University was established as the Imperial University of Peking in 1898 when it received its royal charter ...

in 1966. He then studied at the University of Edinburgh obtaining a PhD in computer science in 1983 supervised by Gordon Plotkin.

Career

After graduation, he was funded by the EPSRC at

Newcastle University Newcastle University (legally the University of Newcastle upon Tyne) is a UK public university, public research university based in Newcastle upon Tyne, North East England. It has overseas campuses in Singapore and Malaysia. The university is ...

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

Li is mostly engaged in the applied research of Computer Software and Theory and Internet, including programming language,

software development Software development is the process of conceiving, specifying, designing, programming, documenting, testing, and bug fixing involved in creating and maintaining applications, frameworks, or other software components. Software development invol ...

, artificial intelligence, and

integrated circuit An integrated circuit or monolithic integrated circuit (also referred to as an IC, a chip, or a microchip) is a set of electronic circuits on one small flat piece (or "chip") of semiconductor material, usually silicon. Large numbers of tiny ...

design.

Achievements

Li did some of the first work on structural operational semantics of concurrent programming languages such as

Ada Ada may refer to: Places Africa * Ada Foah, a town in Ghana * Ada (Ghana parliament constituency) * Ada, Osun, a town in Nigeria Asia * Ada, Urmia, a village in West Azerbaijan Province, Iran * Ada, Karaman, a village in Karaman Province, Tur ...

and

Edison Thomas Alva Edison (February 11, 1847October 18, 1931) was an American inventor and businessman. He developed many devices in fields such as electric power generation, mass communication, sound recording, and motion pictures. These invention ...

, including a theory of translation between such languages with methods for proving the correctness of translations. 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

{{DEFAULTSORT:Li, Wei 1943 births Living people Alumni of the University of Edinburgh Chinese computer scientists Members of the Chinese Academy of Sciences Peking University alumni Academic staff of Beihang University Presidents of Beihang University Scientists from Beijing