Faculty Directory
Hai Zhou

Associate Professor of Electrical Engineering and Computer Science


2145 Sheridan Road
Tech Room L461
Evanston, IL 60208-3109

847-491-4155Email Hai Zhou


Hai Zhou's Homepage

Center for Ultra Scale Computing and Information Security (CUCIS)


Electrical Engineering and Computer Science

Download CV


Ph.D. Computer Science, University of Texas, Austin, TX

M.E. Computer Science and Technology, Tsinghua University, Beijing, China

B.E. Computer Science and Technology, Tsinghua University, Beijing, China

Selected Publications

    A. Goel, K. Sa jid, H. Zhou, A. Aziz, and V. Singhal. BDD-based Procedures for a Theory of Equality with Uninterpreted Functions.Journal of Formal Methods in System Design, 22(3), pp. 205-224, May 2003. 

    H. Zhou. Timing Analysis with Crosstalk is a Fixpoint on a Complete Lattice.IEEE Transactions on Computer-Aided Design, 22(9), pp. 1261-1269, Sept. 2003. (IEEE Donald O. Pederson Award finalist)

    H. Zhou. Efficient Steiner Tree Construction Based on Spanning Graphs.IEEE Transactions on Computer-Aided Design, 23(5), pp. 704-710, May 2004. 

    H. Zhou and C. Lin, Retiming for Wire Pipelining in System-On-Chip.IEEE Transactions on Computer-Aided Design, 23(9), pp. 1338-1345, Sept. 2004. 

    D. Sinha, N. Shenoy, and H. Zhou, Statistical Timing Yield Optimization by Gate Sizing. IEEE Transactions on VLSI Systems. 14(10), Oct. 2006. 

    H. Zhou. A New Efficient Retiming Algorithm Derived by Formal Manipulation.ACM Transactions on Design Automation of Electronic Systems. 13(1). Article No. 7. Jan. 2008.

    Y. Lu, H. Zhou, L. Shang, and X. Zeng. Multicore Parallelization of Min-Cost Flow for CAD Applications.IEEE Transactions on Computer-Aided Design. 29(10), pp. 1546-1557, Oct. 2010.

    C. Feng, H. Zhou, C. Yan, J. Tao, and X. Zeng. Efficient Approximation Algorithms for CMP Dummy Fill.IEEE Transactions on Computer-Aided Design. 30(3), pp. 402-415, Mar. 2011. 

    L. Li and H. Zhou. On Error Modeling and Analysis of Approximate Adders. IEEE/ACM International Conference on Computer-Aided Design. pp. 511-518, 2014.

    Y. Chen and H. Zhou. Synthesis of Resilient Circuits from Guarded Atomic Actions. Asian South Pacific Design Automation Conference. pp. 550-555, 2015.