Hong Zhu Oxford Brookes University UK

Oxford Brookes University LogoHong Zhu Oxford Brookes University UK

Hong Zhu, BSc, MSc, PhD in Computer Science

Professor of Computer Science

Head of the Applied Formal Methods Research Group

Department of Computing and Communication Technologies

Faculty of Technology, Design and Environment


Oxford Brookes University

Wheatley Campus, 

Oxford OX33 1HX, UK

Tel: ++44 (1865) 484580, 

Fax: ++44 (1865)484545

Mobile: 07980 977518

Email: hzhu@brookes.ac.uk


I studied computer science and software at Nanjing University from 1978 to 1987 under the supervision of Prof. Jiafu Xu. I obtained my BSc degree in Computer Software, MSc degree in Computer Science and PhD degree in Computer Science from Nanjing University, China, in 1982, 1984 and 1987, respectively. I worked at Nanjing University as a Lecturer from August 1987 to December 1988, Associate Professor from January 1989 and then Full Professor from March 1996 and then Supervisor of PhD Students until November 1998. From October 1990 to December 1994, I was a research fellow at Brunel University and the Open University, UK, while on leave from Nanjing University. I joined Oxford Brookes University, UK, in November 1998 as a Senior Lecturer in Computing and became a Professor of Computer Science in October 2004. I now chair the Applied Formal Methods Research Group of the Department of Computing and Electronics.

I am a member of British Computer Society, ACM, IEEE Computer Society, China Computer Federation, and China Artificial Intelligence Association. My research interests are in the area of software engineering including software development methodology, software testing, agent technology, automated software development tools, etc.

I won a number of prizes in China for my research works, which include the Premier’s Award of Distinguished Young Scientists in China awarded by the National Natural Science Foundation of China in 1996, and Chang Jiang Scholar Professorship by the Ministry of Education of China, 2000.