Hao Zheng received his Ph.D. from the Electrical and Computer Engineering department at the University of Utah in 2001. He joined the Computer Science and Engineering department at University of South Florida in 2004 where he is currently an Associate Professor. His general research interests are in computer architecture, embedded systems, VLSI design, and electronic design automation. Recently, his main research focuses are on developing efficient approaches and techniques for system integration validation and debug of SoC designs, runtime monitoring mechanisms for SoC security, and specification mining using machine learning techniques. His other interests include formal methods for verifying embedded/cyber-physical system design. He received an NSF CAREER Award in 2006, a USF Outstanding Research Achievement Award in 2007, and a Best Paper Award in the International SPIN Symposium on Model Checking Software in 2014. He has been served in program committees of various conferences, and is currently an Associate Editor of the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.