Hao Zheng received his Ph.D. in Electrical and Computer Engineering from the University of Utah in 2001. He joined the Department of Computer Science and Engineering at the University of South Florida in 2004, where he is currently an Associate Professor. His research interests span computer architecture, electronic design automation (EDA), and hardware/software testing and verification. His recent work focuses on developing efficient techniques for system integration validation and debugging of SoC designs, runtime monitoring for SoC security, and applying machine learning and generative AI to address challenging EDA problems. He is also interested in formal methods for verifying embedded and cyber-physical systems. Dr. Zheng received an NSF CAREER Award in 2006, a USF Outstanding Research Achievement Award in 2007, and Best Paper Awards at the International SPIN Symposium on Model Checking Software (2014) and ISQED (2025). He has served on the program committees of various conferences and is currently an Associate Editor for the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems since 2018.