Hao Zheng received his B.S. in Electrical Engineering from the Northwestern Polytechnical University, China, in 1993, M.S. and Ph.D. 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 developing formal methods and algorithms for system analysis and verification, embedded/cyber-physical system design. The main objective of my research is to ensure safety, security, and reliability of embedded/cyber-physical systems with rigorous evidence. He is also interested in applying formal methods to complex system design and verification in practice. Another interest of his is to apply the asynchronous design methodology to VLSI system design to mitigate the challenges that today's VLSI design faces.
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