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.

Energy-Level and Molecular Engineering of Organic D-pi-A Sensitizers in Dye-Sensitized Solar Cells

A series of organic D-pi-A sensitizers composed of different triarylamine donors in conjugation with the thienothiophene unit and cyanoacrylic acid as an acceptor has been synthesized at a moderate yield. Through tuning the number of methoxy substituents on the triphenylamine donor, we have gradually red-shifted the absorption of sensitizers to enhance device efficiencies.