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.