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

  • 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).
  • Rezaei, Amin; Zhou, Hai, Sequential Logic Encryption against Model Checking Attack, Institute of Electrical and Electronics Engineers Inc.:1178-1181 (2021).
  • Rezaei, Amin; Shen, Yuanqi; Zhou, Hai, Rescuing Logic Encryption in Post-SAT Era by Locking Obfuscation, Institute of Electrical and Electronics Engineers Inc.:13-18 (2020).
  • Chen, Zhengyu; Zhou, Hai; Gu, Jie, R-Accelerator, IEEE Transactions on Very Large Scale Integration (VLSI) Systems 27(11):2655-2667 (2019).
  • Zhou, Hai; Rezaei, Amin; Shen, Yuanqi, Resolving the trilemma in logic encryption, Institute of Electrical and Electronics Engineers Inc. (2019).