Research Themes

Theories and Applications of Concurrent and Real-Time Systems

Theories and applications of concurrent and real-time systems is the field of computer science that studies the computing phenomena with the characteristics of concurrency, timeliness and mobility. Like other areas in computer science, theories and application of concurrent and real-time systems spans a wide range of subjects from the applied to the very theoretical. On the theory side, it mainly concentrates on different approaches to the modeling, analysis and design of concurrent and real-time systems, including algebra based, logic based, automata based and so on. On the application side, it focuses on inventing new techniques based on the new theories to solve lots of problems met in software development, network, life sciences, etc.

Principles of Software Technology

Research on this area is focused on theories and methodologies for the analysis and development of software, as well as techniques for the quality of software. It encompasses a broad range of subjects, from formal models, testing and verification of concurrent and sequential programs, software middleware, to software process and quality measurement and assurance.

Computing Group

Computer Graphics and Human Computer Interaction

Our research work covers Computer Graphics and Human Computer Interaction. In Computer Graphics, we focus on realistic image synthesis, real time rendering of large and complex virtual environments, information representation and imaging, and physically-based animation. In Human Computer Interaction, we are interested in investigation on natural interaction between users and computer, especially ink understanding, multimodal and context-aware interaction.

Parallel Algorithm and Parallel Software

Our research focus on parallel algorithm and parallel software development, large-scale parallel numerical simulation, parallel computational model, non-numerical parallel computing, huge volume data parallel processing, high performance new algorithm, performance optimization, and performance evaluation and benchmarking of HPC.