School of Engineering, Computing and Mathematics

  • Applied Formal Methods group

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