Wang Xianghao (1915—1993), Founder of Department of Mathematics and CCST, JLU, and former professor and PhD supervisor of JLU.
Education:
PhD. Princeton University, USA, 1949
MA. Princeton University, USA, 1947
BA. Peking University, China, 1937
Executive Titles/Experience:
Academician and Member of Chinese Academy of Science, 1955
Dean of CCST and Vice President of Jilin University, 1976—1984
Chair of the Assessment Group of Computer Science, the Academic Degree Commission of State of Council
Deputy Director of Chinese Association of Computer Science
Member of the Central Committee , China Democratic League
Academic Contributions:
His research paper “A counter-example to Grunwald’s theorem” changed the linear associate algebra
He made Dickson’s conjecture another one
He corrected part of Grunwald’s theorem and established Grunwald-Wang theorem, which caused a sensation in mathematical field at that time and was called a classic result by peers
His world-class advanced research in automata theory and theory of multiple-valued logics
He was the first to research in artificial intelligence in China
Dong Yunmei (1936—), one of the first researchers on computer software in China
Education:
Jilin University, China
BA. Mathematics, 1956
Stanford University, USA
Refresher courses, 1978
Work Experience
Institute of Computer Science of Chinese Academy of Science (CAS), 1956
Institute of Software of CAS, 1985
Dean of CCST AND Vice President of Jilin University, 1976—1984
Member of Discipline Evaluation Group of the Academic Degrees Committee of the State Council and Editor of CHINESE JOURNAL OF COMPUTERS
The first director of Open Lab (later Key Lab) for Computer Science
Director of Academic Committee & director of Academic Degree Evaluation Committee of Institute of Software of CAS
Institute of Software of CAS, 1985
Institute of Computer Science of Chinese Academy of Science (CAS), 1956
Academic Experience:
Visiting professor of JLU, 2005
Academician of Chinese Academy of Science, 1993
PhD supervisor, 1984
Research fellow, 1983
Academic Contributions:
His academic contributions involve software theory, software technology, software tools and information processing of Chinese Character and other research areas.
In the early to mid 1960s, he presided over the development of the earliest practical high-level programming language BCY, and implemented the corresponding compiler and system software on model 119, 109 and 015, which had played a significant role for a long time. His solutions to the form of formula grammar, syntax checking and program testing and other aspects were internationally renowned in 1960s and early 1970s. In early 1980s, he initiated method of parameter graphics to design high-quality Chinese Character with computer and solved the problem of implementation technology and established the experimental system, which was further developed into Chinese characters design system. Since the mid-1980s, he pioneered to carry out the software reuse research in China. He is mainly engaging in researches of software specification and software design, and the obtainment and reuse of formula specification. He initiated a grammar conclusion method based on reuse and a new recursive function theory (CFRF).
He had won the first prize of Award for Science and Technology Progress of CAS and the second prize of the National Award Science and Technology Progress. He has instructed many graduate and doctoral candidates.
Jilin University