Scholar
Hao Zheng
Google Scholar ID: W1V0wXcAAAAJ
Associate Professor of Computer Science and Engineering, University of South Florida
Citations & Impact
Citations
222
H-index
9
i10-index
8
Publications
20
Co-authors
0
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- 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. Currently, an Associate Editor of the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Research Experience
- Worked for IBM from 2001 to 2004, then joined the Computer Science and Engineering Department at the University of South Florida as an Associate Professor in 2004.
Education
- Received a Ph.D. from the Electrical and Computer Engineering Department at the University of Utah in 2001.
Background
- Research interests include formal methods, computer architecture, embedded/cyber-physical systems, VLSI design, and design automation. Aiming to build secure, efficient, and evolvable computing systems.
Miscellany
- Faculty advisor of the SEES research Lab. Looking for self-motivated and hardworking students to work on various research projects, with priority given to PhD applicants.
Co-authors