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 USF as an Assistant Professor. He has been an Associate Professor since May 2010.
Dr. Zheng's research interests include hardware/software testing and verification, post-silicon validation, hardware security, formal verification/model checking for safety-critical systems, embedded system design, computer architecture, VLSI design, and electronic design automation.
Dr Zheng's main teaching interests include formal methods for system design and verification, embedded/cyber-physical system design, digital logic and computer system design, discrete math and computation theory.
PhD in Electrical Engineering, University of Utah (2001)
MS in Electrical Engineering, University of Utah (1998)
BS in Electrical Engineering, Northwestern Polytechnical University (1993)
Honors and Awards:
- Best Paper Award, SPIN 2014
- IEEE Senior member, 2008
- USF Outstanding Research Achievement Award, 2007
- NSF CAREER Award, 2005
- Member, the University Graduate Council
- Chair, department infrastructure committee
- Member of technical program committees, ISVLSI, HLDVT, ICCAD-SRC
- Reviewer, various conferences and journals
- NSF panelists, 2006, 2015