Hai Zhou received his Ph.D. in Computer Sciences
from the University of Texas at Austin in 1999, and worked with
the Advanced Technology Group in Synopsys for two years. He joined
the Department of Electrical and Computer Engineering in 2001. He
has published more than 30 papers and served on technical program
committees of conferences, such as ICCAD and ISPD. He received a
CAREER Award from NSF on "Formal Methods for Silicon Complexity
in Nanometer VLSI Design."
Research Interests
VLSI Design Automation, Algorithm Design, and Formal Methods.