Dr. Hong Zhu is a professor of computer science at Oxford Brookes University, UK, where he chairs the Applied Formal Methods research group. He obtained BSc, MSc and PhD degrees in Computer Science in 1982, 1984 and 1987, respectively, all from Nanjing University, China.
Prof. Zhu’s research interests are in the area of software engineering, especially applying mathematical theories and methods to fundamental problems in software engineering, which include software development methodology, software modelling languages, software testing and quality assurance, agent and service oriented software development methods and technology, automated software development tools, etc. He has published more than 150 research papers and two books: one on software quality assurance and testing and one on software design methodologies.
Prof. Hong Zhu organized the special issue on software modelling and meta-modelling for IJSI (Vol.6, No.2) in 2012 and the special issue of service-oriented system engineering for IJSI (Vol.7, No.2) in 2013 together with Prof. Jerry Gao.