Applied Formal Methods Research Group

The Applied Formal Methods Research Group, led by Prof Hong Zhu was formed in 2002. The group is concerned with the theoretical foundations of software engineering.

The group 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).