| 词条 | Li Wei (computer scientist) |
| 释义 |
|name = Li Wei 李未 |birth_date = {{Birth date and age|1943|06|08|df=y}} |birth_place = Beijing, China |death_date = |death_place = |field = Computer science |work_institutions = {{Plainlist|
|alma_mater = {{Plainlist|
|doctoral_advisor = Gordon Plotkin | thesis_url = https://www.era.lib.ed.ac.uk/handle/1842/6636 | thesis_year = 1983 | thesis_title = An operational approach to semantics and translation for programming languages |doctoral_students = |known_for = |influences = |influenced = |prizes = |religion = |footnotes = |signature = }} Li Wei ({{zh|c=李未|p=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 Beijing University of Aeronautics and Astronautics. EducationLi 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] CareerAfter 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 interestsLi 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. AchievementsLi 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|date=April 2014}} 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。 References1. ^Awardee of Technological Sciences Prize - Li Wei - Abstract. The Ho Leung Ho Lee Foundation 2006. Retrieved 11 July 2011. {{Authority control}}{{DEFAULTSORT:Li, Wei}}2. ^{{cite thesis |degree=PhD |last=Lǐ|first=Wèi |title=An operational approach to semantics and translation for programming languages |date=1983 |url=http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.331651}} 9 : Alumni of the University of Edinburgh|Chinese computer scientists|Living people|1943 births|Presidents of universities and colleges in China|Beihang University faculty|Scientists from Beijing|Members of the Chinese Academy of Sciences|Peking University alumni |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。