Dr. Hao Zheng received his BS in Electrical Engineering from the Northwestern Polytechnical University, China, in 1993, MS and PhD in Electrical Engineering from the University of Utah in 1998 and 2001, respectively. From 1993 to 1996, he worked for a division of the Lufthansa Airlines as an Electronics Engineer. From 2001 to 2004, he was with IBM Microelectronics Division as an Advisory Engineer/Scientist. His work at IBM was focused on incorporating formal verification methods into the ASIC design flow to improve productivity and design quality. He joined the Department of Computer Science and Engineering at the University of South Florida (USF) in Tampa, FL as an assistant professor. He has been an associate professor since May 2010.