Faculty Directory
Hai Zhou

Professor of Electrical and Computer Engineering and (by courtesy) Computer Science

Contact

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

847-491-4155Email Hai Zhou

Website

Hai Zhou's Homepage

Center for Ultra Scale Computing and Information Security (CUCIS)

Departments

Electrical and Computer Engineering

Download CV

Education

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


Research Interests

Hai Zhou is the director of the NuLogiCS Research Group in the Electrical and Computer Engineering at Northwestern University. His research interest is on Logical Methods for Computer Systems (LogiCS), where logic is used to construct reactive computer systems (in the form of hardware, software, or protocol) and to verify their properties (e.g. correctness, security, and efficiency). In other words, he is interested in algorithms, formal methods, optimization, and their applications to security, machine learning, and economics.


Selected Publications

  • Li, You; Zhao, Guannan; He, Yunqi; Zhou, Hai, DE2, Institute of Electrical and Electronics Engineers Inc. (2025).
  • Liu, Yiting; Zhou, Hai; Wang, Jia; Yang, Fan; Zeng, Xuan; Shang, Li, An Efficient Placement Speedup Technique Based on Graph Signal Processing, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2025).
  • Li, You; Hou, Kaiyu; He, Yunqi; Chen, Yan; Zhou, Hai, Property Guided Secure Configuration Space Search, Springer Science and Business Media Deutschland GmbH (2025).
  • Li, You; Zhao, Guannan; He, Yunqi; Zhou, Hai, Evaluating the Security of Logic Locking on Deep Neural Networks, Institute of Electrical and Electronics Engineers Inc. (2024).
  • Liu, Yiting; Zhou, Hai; Wang, Jia; Yang, Fan; Zeng, Xuan; Shang, Li, Hierarchical Graph Learning-Based Floorplanning with Dirichlet Boundary Conditions, IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2024).
  • Li, You; Zhao, Guannan; He, Yunqi; Zhou, Hai, ObfusLock, Institute of Electrical and Electronics Engineers Inc. (2023).
  • Liu, Yiting; Ju, Ziyi; Li, Zhengming; Dong, Mingzhi; Zhou, Hai; Wang, Jia; Yang, Fan; Zeng, Xuan; Shang, Li, GraphPlanner, ACM Transactions on Design Automation of Electronic Systems (2022).
  • Hou, Kaiyu; Li, You; Yu, Yinbo; Chen, Yan; Zhou, Hai, Discovering emergency call pitfalls for cellular networks with formal methods, Association for Computing Machinery, Inc:296-309 (2021).