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.

Integrated MMI Optical Couplers and Optical Switches in Silicon-on-Insulator Technology

Integrated multimode interference (MMI) coupler based on silicon-on-insulator(SOI) has been becoming a kind of more and more attractive device in optical systems. SiO2thin cladding layers (＜1.0 μm) can be usedin SOI waveguide due to the large index step be-tween Si and SiO2, making them compatible with VLSI technology. The design and fabrica-tion of MMI optical couplers and optical switches in SOI technology are presented in thepa-per. We demonstrated the switching time of 2 × 2 MMI-MZI thermo-optical switch is less than 20 μs: