Hao Zheng

Hao Zheng

University of South Florida, Associate Professor

University of South Florida

Hao Zheng is a former PhD student under Chris Myers supervision. He graduated in 2001, and now he is an Associate Professor at the University of South Florida. His research interests are main in formal method in system designs, verification, and validation.


  • Formal Verification
  • Model Checking