Regular biography
Hai Zhou is a Professor in the Department of Electrical Engineering at Northwestern University. He is also affiliated with the Department of Computer Science by courtesy. His research focuses on Logical Methods for Computer Systems (LogiCS), where logic is applied to construct reactive computer systems and verify their properties such as correctness, security, and efficiency. His work involves algorithms, formal methods, optimization, and their applications to security, machine learning, and economics. Zhou is the director of the NuLogiCS Research Group at Northwestern University.
Scholar-generated biography
Hai Zhou is a researcher at Northwestern University with expertise in EDA, logic locking, hardware security, physical design, and VLSI. His work focuses on improving the reliability and security of integrated circuits through advanced design methodologies. Zhou's research includes global routing with crosstalk constraints, logic encryption algorithms, and SAT-based attacks on cyclic logic encryptions. He has also explored yield-aware cache architectures, statistical gate sizing for timing yield optimization, and 3D-STAF for temperature and leakage-aware floorplanning. His contributions span both theoretical and practical aspects of physical design and hardware security, emphasizing the integration of design and security in modern VLSI systems.