Li Xiang

Li Xiang

This data is missing

Overview chart

, add related content, make data more complete, but also quickly upgrade, come on!

Li Xiang, male, born in Anshun, Guizhou Province in October 1942, is now the honorary president of Guizhou University, vice chairman of Guizhou Association for science and technology, member of the academic committee of State Key Laboratory of software engineering of Wuhan University, member of the academic committee of computer science Open Laboratory of Institute of software of Chinese Academy of Sciences, professor and doctoral supervisor.

Character experience

Born in Anshun, Guizhou in October 1942, graduated from the Department of mathematics of Guizhou University in July 1964, President of Guizhou University. From 1979 to 1980, he studied in the mathematical logic research class of Huazhong Institute of technology, and taught in Guizhou University in 1980. In 1983, he was a senior lecturer in the Department of mathematics of Monash University in Australia. From 1984 to 1989, he was the president of Guizhou University. In 1986, he was a professor of Guizhou University. In 1995, he was awarded the doctoral supervisor of Institute of software of Chinese Academy of Sciences. He is now the honorary president of Guizhou University, vice chairman of Guizhou Association for science and technology, and software engineering of Wuhan University Member of the academic committee of the State Key Laboratory, member of the academic committee of the open laboratory of computer science, Institute of software, Chinese Academy of Sciences, Professor, doctoral supervisor.

Main contributions

Committed to the teaching and scientific research of computer software and theory, published dozens of papers in famous academic journals at home and abroad in recursion theory, computational complexity theory, computer algorithm and cipher, computer logic, etc., wrote a monograph "guide to computability theory", edited many works such as "operating system", "computer science", etc., and is the leading author of "computer science" of Guizhou University He is the academic leader of the master program of software and theory, and has trained dozens of master students. In China, he has published papers "Introduction to computability theory" and "non recursive enumerable sets everywhere in recursively representable topological spaces".

Research direction

1. Journal of collaborative design conflict resolution system based on integration computer integrated manufacturing system, No.4, 2000, by Li Xiang, Yuan Guohua, Zhou Xionghui and Ruan Xueyu.

2. Multiparty secure matrix product protocol and its application

3. Formal analysis of fair e-commerce protocol based on ATL

Baidu Encyclopedia content is shared by netizens. If you find that your data content is inaccurate or incomplete, you are welcome to use your own data service (free) to participate in the correction. Go to > > now