Hao Zheng (Hank Jayne)

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

Education

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)

Research Interests

My research is in general computer system design and methods and algorithms for design automation. Particularly, my interests, among others, include

Please go the research page if you would like to find out more about the ongoing projects related to above topics.


What is new

  • A paper titled "A compositional Minimization Approach for Large Asynchronous Design Verification" by Dr Zheng and his students and collaborator Dr Myers is accepted by SPIN 2012. (5/2012)
  • Dr Zheng is going to present a poster at International Conference on Cyber-Physical Systems to showcases his ongoing research on formal verification for CPSs. (4/2012)
  • Graduate student, Yingying Zhang, submitted a paper titled "An Improvement in Partial Order Reduction Using Behavioral Analysis" to ISVLSI 2012. (4/2012)
  • Haiqiong Yao successfully defended her PhD dissertation. (3/2012)
  • PhD student, Yingying Zhang, has a paper titled "A Behavioral Analysis Approach to Efficient Partial Order Reduction" accepted by HASE 2011. (10/2011)
( News archive)

Last updated: