Prof. Charles ZHANG Received Huawei's Distinguished Collaborator Award

Prof. Charles ZHANG, Associate Professor of Computer Science and Engineering and Director of the Cybersecurity Lab, was recently presented with a Distinguished Collaborator Award by Huawei in recognition of his outstanding contribution on deploying Pangolin into Huawei’s products. Pangolin is an incremental hybrid fuzzing framework that uses polyhedral path abstraction for efficient constrained mutation and guided constraint solving.

Prof. Zhang has been contributing on improving software reliability with the utilization of programming analysis technique. His research, which is supported by the Research Grants Council, Innovation and Technology Fund, and grants from Microsoft and IBM, can often be found at premium conferences and journals of programming languages and software engineering. His research is widely recognized with awards including the PLDI Distinguished Paper Award, ACM SIGSOFT Doctoral Dissertation Award, and IBM PhD fellowships.

About The Hong Kong University of Science and Technology
The Hong Kong University of Science and Technology (HKUST) ( is a world-class research university that focuses on science, technology and business as well as humanities and social science.  HKUST offers an international campus, and a holistic and interdisciplinary pedagogy to nurture well-rounded graduates with global vision, a strong entrepreneurial spirit and innovative thinking.  HKUST attained the highest proportion of internationally excellent research work in the Research Assessment Exercise 2014 of Hong Kong’s University Grants Committee, and is ranked as the world’s best young university in Times Higher Education’s Young University Rankings 2019.  Its graduates were ranked 16th worldwide and top in Greater China in Global University Employability Survey 2018.

What to read next