Li Wei (scientist)
Encyclopedia
Li Wei 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
.
obtaining a PhD in computer science
in 1983. After graduation, he was employed by the Engineering and Physical Sciences Research Council
, Newcastle University and 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.
, software development
, artificial intelligence
, and integrated circuit
design.
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. Operation Semantics of Words Structucture has became 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。
Chinese Academy of Sciences
The Chinese Academy of Sciences , formerly known as Academia Sinica, is the national academy for the natural sciences of the People's Republic of China. It is an institution of the State Council of China. It is headquartered in Beijing, with institutes all over the People's Republic of China...
. In 2002, he became the president of Beijing University of Aeronautics and Astronautics
Beijing University of Aeronautics and Astronautics
Beihang University, previously known as Beijing University of Aeronautics and Astronautics is a major research university located in Beijing, China....
.
Biography
Li graduated from the Department of Mathematics and Mechanics, Beijing University in 1966. He then studied at the University of EdinburghUniversity of Edinburgh
The University of Edinburgh, founded in 1583, is a public research university located in Edinburgh, the capital of Scotland, and a UNESCO World Heritage Site. The university is deeply embedded in the fabric of the city, with many of the buildings in the historic Old Town belonging to the university...
obtaining a PhD in computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
in 1983. After graduation, he was employed by the Engineering and Physical Sciences Research Council
Engineering and Physical Sciences Research Council
The Engineering and Physical Sciences Research Council is a British Research Council that provides government funding for grants to undertake research and postgraduate degrees in engineering and the physical sciences , mainly to universities in the United Kingdom...
, Newcastle University and University of Edinburgh as Senior Programmer. He was also a visiting professor at the Saarland University
Saarland University
Saarland University is a university located in Saarbrücken, the capital of the German state of Saarland, and Homburg. It was founded in 1948 in Homburg in co-operation with France and is organized in 8 faculties that cover all major fields of science...
.
He was elected to the Chinese Academy of Sciences
Chinese Academy of Sciences
The Chinese Academy of Sciences , formerly known as Academia Sinica, is the national academy for the natural sciences of the People's Republic of China. It is an institution of the State Council of China. It is headquartered in Beijing, with institutes all over the People's Republic of China...
in 1997.
Research interests
Li is mostly engaged in the applied research of Computer Software and Theory and Internet, including programming languageProgramming language
A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
, software development
Software development
Software development is the development of a software product...
, artificial intelligence
Artificial intelligence
Artificial intelligence is the intelligence of machines and the branch of computer science that aims to create it. AI textbooks define the field as "the study and design of intelligent agents" where an intelligent agent is a system that perceives its environment and takes actions that maximize its...
, and integrated circuit
Integrated circuit
An integrated circuit or monolithic integrated circuit is an electronic circuit manufactured by the patterned diffusion of trace elements into the surface of a thin substrate of semiconductor material...
design.
Achievements
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
Ada (programming language)
Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages...
and Edison. Operation Semantics of Words Structucture has became 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
Data mining
Data mining , a relatively young and interdisciplinary field of computer science is the process of discovering new patterns from large data sets involving methods at the intersection of artificial intelligence, machine learning, statistics and database systems...
Technology。