The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years. © 2008 Higher Education Press.
CITATION STYLE
Zhang, J., Zhang, W., Zhan, N., Shen, Y., Chen, H., Zhang, Y., … Zhu, X. (2008). Basic research in computer science and software engineering at SKLCS. Frontiers of Computer Science in China, 2(1), 1–11. https://doi.org/10.1007/s11704-008-0001-3
Mendeley helps you to discover research relevant for your work.