In
The basic research and application basic research of computer science key laboratories is the important part of the research work of the Software Research Institute. The basic problem proposed by software technology development is the background, the exploration of new theories, new methods and new technologies, and solve the basic problem of software technology and industrial development plays a crucial role.
The Computer Science Key Laboratory of Chinese Academy of Sciences was officially established in 1994, mainly engaged in computer science theory and software new methods, research, key research contents include: communication concurrent system and real-time system theory and technology, object-oriented software development methods and Software construction technology, computer graphics, automatinal theory and cryptography, parallel calculations, etc. are the frontiers and hotspots of today's computer science theory and software high-tech. The laboratory is composed of fixed researchers and a large number of liquid researchers, graduate students, including 4 academicians of Chinese Academy of Sciences, 8 major Chinese Academy of Sciences. They have achieved fruitful research results in the foundation and high-tech research, "the theory and design of the software engineering environment based on timing logic", "distributed program design theory", "algebraic theory and verification tool", "limited The reversibility theory of the automaton ... The National Natural Science Awards 1, II, Second, and Third Awards; "Software Design System Supporting Appreciability and Reused Software Design System URS-1" won the second prize of the National Science and Technology Progress Award; A group of Chinese Academy of Sciences and ministries will also be obtained; hundreds of research papers and technical reports have been published at home and abroad, and have been introduced by many documents at home and abroad. The work of the laboratory is highly praised by peers at home and abroad. There is a considerable number of results or is about to be applied to the national economic construction.
Judang Academician, the pioneers and the pioneers of my country's computer science and software engineering research, which started the executable timing logic language that implemented and implemented, in a unified form framework indicating that the program dynamic semantics and standard statically semantics became software development The unified theoretical basis of the process, and combined with software engineering tools to support the entire process of support software development, solve many problems in software engineering, and is highly praised by international peers.
Academician of Dong Yimei, one of my country's computer software pioneers, in the early sixies, in the middle of the year, he had presided over the earliest practical advanced programming language Bcy in China. At present, it is currently engaged in software statutes and software design methods. Recursive function concept and its operating mechanism, design and achieve efficient algorithm, based on this development, the acquisition, examination and multiplexing technology of software forms, the research work is in the international advanced level, with significant theoretical value and actual significance.
Journal of my country's Distributed Program Design Theory Research, one of the pioneers, in recent years, and made a groundbreaking work for the formal design and verification of real-time systems, and is recognized by international peers. Research on scientists in more than a dozen countries have already driven this study. Since August 1997, he also serves as director of the United Nations International Software Technology Research Institute.
Lin Huimin academician, long-term research in the form of semantics and formal methods of concurrent procedures. He designed and implemented the world's first general process algebra verification tool; completely solved the poor system of π- calculation; proposed with international peer cooperation, and independently developed the "symbolic mutual simulation" theory, in message delivery Breakthrough progress made in the process study.
