Hao Zheng

Associate Professor
Dept. of Computer Science and Engineering
University of South Florida
4202 E. Fowler Ave.,
Tampa, FL 33620
Contact: my email address

CV   the SEES Lab

Short Bio

I received my Ph.D. from the Electrical and Computer Engineering Department at the University of Utah in 2001. After working for IBM for three years, I joined the Computer Science and Engineering Department at University of South Florida in 2004. I received an NSF CAREER Award in 2006, an USF Outstanding Research Achievement Award in 2007, and a Best Paper Award in the International SPIN Symposium on Model Checking Software in 2014. I has served in program committees of various conferences, and is currently an Associate Editor of the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Research Interests

Aiming to build secure, efficient, and evolvable computing systems, my broad research interests include

  • Formal methods,
  • Computer architecture,
  • Embedded/Cyber-Physical systems,
  • VLSI design,
  • Design automation.

I am the faculty advisor of the SEES research Lab. Please visit our lab page for more information on current research projects and activities.

Research Position Opennings

I am looking for self-motivated and hardworking students to work with on a number research projects including system-on-chip design validation and security, formal verification of parallel and stochastic systems, and machine learning in computer design automation.

You are expected to have strong background in at least one of CS, CE, and Math majors. Additionally, depending on the research of your interest, it is also expected that you have either (1) good programming skills with solid understanding of algorithms/data structures, or (2) non-trivial experiences with digital hardware design and validation.

Priority consideration will be given to PhD applicants. MS applicants who agree to complete a thesis will also be considered.

A PhD position in formal verification research is now available. Please see the flyer for more detail.

Research Experiences for Undergraduate Students

Highly motivated undergraduate students in either CS, CE or Math major with excellent academic standings are welcome to join the SEES lab and participate in various research projects. Please email me for more information.