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.

Identification of vhhP2, a novel genetic marker of Vibrio harveyi, and its application in the quick detection of V. harveyi from animal specimens and environmental samples

Aims: To investigate the species-specific prevalence of vhhP2 among Vibrio harveyi isolates and the applicability of vhhP2 in the specific detection of V. harveyi from crude samples of animal and environmental origins. Methods and Results: A gene (vhhP2) encoding an outer membrane protein of unknown function was identified from a pathogenic V. harveyi isolate. vhhP2 is present in 24 V. harveyi strains isolated from different geographical locations but is absent in 24 strains representing 17 different non-V. harveyi species, including V. parahaemolyticus and V. alginolyticus. A simple polymerase chain reaction method for the identification of V. harveyi was developed based on the conserved sequence of vhhP2. This method was demonstrated to be applicable to the quick detection of V. harveyi from crude animal specimens and environmental samples. The specificity of this method was tested by applying it to the examination of two strains of V. campbellii, which is most closely related to V. harveyi. One of the V. campbellii strains was falsely identified as V. harveyi. Conclusions: vhhP2 is ubiquitously present in the V. harveyi species and is absent in most of the non-V. harveyi species; this feature enables vhhP2 to serve as a genetic marker for the rapid identification of V. harveyi. However, this method can not distinguish some V. campbellii strains from V. harveyi. Significance and Impact of the Study: the significance of our study is the identification of a novel gene of V. harveyi and the development of a simple method for the relatively accurate detection of V. harveyi from animal specimens and environmental samples.