basic research in computer science and software engineering at sklcs

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.

Purification of human tissue prokallikrein excreted from insect cells by liquid chromatography

Tissue kallikrein, generally existing in living bodies as prokallikrein, is a serine proteinase that has proven of great significance to treat hypertension, cardiopathy and nephropathy. Although the extraction of tissue kallikrein from human urine is the most commonly used method to obtain such a protein, not only the yield is very little, but also the procedure is rather complex. Furthermore, the biological safety is uncertain. Therefore, the preparation of such a protein by genetic engineering method, including gene expression, cell culture, separation and purification, is very important. In this paper, a new method to obtain purified tissue prokallikrein excreted from insect cells by liquid chromatography has been proposed. In contrast to the previously published papers, the purification procedure is simplified to only three steps with the final yield of 57% and the purity of 95%, which is not only convenient, but also low-cost and suitable for the large-scale preparation of such a protein. The purified protein is further validated as prokallikrein by high performance liquid chromatography-mass spectrometry and amino acid sequencing. (c) 2005 Elsevier B.V. All rights reserved.