Hao Zheng

Hao Zheng

Associate Professor
Department of Computer Science and Engineering
University of South Florida
4202 E. Fowler Ave.,
Tampa, FL 33620

Tel.: (813)974-4757
Fax: (813)974-5456
Email: zheng+at-cse*dot+usf-edu


Ph.D. Electrical Engineering   University of Utah 2001
M.S. Electrical Engineering   University of Utah 1998
B.S. Electrical Engineering   Northwestern Polytechnical University 1993
(My CV: PDF)


My general research areas include computer architecture, embedded systems, VLSI design, and electronic design automation. My research objective is design of secure, trustworthy, adaptive and resilient (STAR) computing systems. Currently, my group is look at hardware security assurance by investigating various design time and runtime methods and techniques, application of machine learning in design automation, and formal verification and reasoning of cyber-physical systems. Please go to the Publications page if you would like to find out more about the work related to above research areas that we have done in the past.

I am constantly looking for highly dedicated and motivated students to work with on various research projects. See here for more information.


Fall 2018 CDA 5416 Computer System Verification
EEL 6764 Principles of Computer Architecture

The courses that I have taught in the past can be found here.

Last updated: