We'll be changing this menu soon - all of these links and more will be on a new staff homepage. Try the new page now »
Go to the Staff section
Go to the Alumni section
Go to the Study here section
Go to the International section
Go to the Research section
The group led by Prof Hong Zhu was formed in 2002. It focuses on applying mathematical theories and methods to a wide range of fundamental problems in software development. This covers requirements analysis and specification, software design, implementation, and testing methodologies, programming, specification and modelling languages, etc.
Research has been carried out on agent-oriented software development methodology, formal methods for program derivation, software modeling languages, formalisation of design patterns, software testing and cloud computing.
Members of the group have won awards at some main international conferences, such as IEEE Annual Conferences on Computer Software And Applications (COMPSAC).