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
lBA. Peking University, China, 1937
Executive Titles/Experience:
l Academician and Member of Chinese Academy of Science, 1955
l Dean of CCST and Vice President of Jilin University, 1976—1984
l Chair of the Assessment Group of Computer Science, the Academic Degree Commission of State of Council
l Deputy Director of Chinese Association of Computer Science
l Member of the Central Committee , China Democratic League
Academic Contributions:
l His research paper “A counter-example to Grunwald’s theorem” changed the linear associate algebra
l He made Dickson’s conjecture another one
l 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
l His world-class advanced research in automata theory and theory of multiple-valued logics
l 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:
l Jilin University, China
BA. Mathematics, 1956
l Stanford University, USA
Refresher courses, 1978
Work Experience
l Institute of Computer Science of Chinese Academy of Science (CAS), 1956
l Institute of Software of CAS, 1985
l Dean of CCST AND Vice President of Jilin University, 1976—1984
l Member of Discipline Evaluation Group of the Academic Degrees Committee of the State Council and Editor of CHINESE JOURNAL OF COMPUTERS
l The first director of Open Lab (later Key Lab) for Computer Science
l Director of Academic Committee & director of Academic Degree Evaluation Committee of Institute of Software of CAS
l Institute of Software of CAS, 1985
l Institute of Computer Science of Chinese Academy of Science (CAS), 1956
Academic Experience:
l Visiting professor of JLU, 2005
l Academician of Chinese Academy of Science, 1993
l PhD supervisor, 1984
l 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.
Attachment:
Jilin University