Labs

Systems Software Lab: The lab is dedicated to studying mechanisms, structures and techniques for supporting software execution. The research topics include networked operating systems and middleware, operating systems for cloud computing and big data, mobile and ubiquitous operating systems, and execution and optimization for Internet software, etc.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Software Development Environment Lab: The lab is dedicated to studying theories, techniques, supporting environments and tools for software engineering. The research topics include software engineering and software engineering environment, intelligent methodology and technology for software development, and high confidence software theory and technology, and software technology for pervasive computing, etc.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Knowledge and Requirements Engineering Lab: The lab is dedicated to study primary elements (such as human, environment, and software) and their knowledge in software development methodologies. Our research topics include knowledge engineering and knowware engineering, requirements and system engineering, knowledge and requirements modeling based on collective intelligence, and theory and technology for software self-adaptation, etc.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Programming Language Lab: The lab is dedicated to study principle, design, implementation, and supporting environment of programming languages. The research topics include design and implementation of programming languages, functional languages, program algebra and program calculus, program analysis and verification, automatic program fixing, program transformation and synthesis, and parallel programming, etc.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Ubiquitous Computing Lab: Our lab is dedicated to study theories, techniques, and systems for ubiquitous computing. Our research topics include contactless sensing of human activities via Wi-Fi/4G/5G signals, crowd sensing, urban computing, human mobility data mining, etc.