Hai Zhou is the director of the NuLogiCS Research Group in the Electrical Engineering and Computer Science at Northwestern University and a member of the Center for Ultra Scale Computing and Information Security (CUCIS). His research interest is on Logical Methods for Computer Systems (LogiCS), where logics 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.
Dr. Zhou received his B.S. degree in Computer Science and Technology from Tsinghua University, China and his Ph.D. degree in Computer Sciences from the University of Texas at Austin.
There is Pleasure sure,
In being Mad, which none but Madmen know!
- John Dryden "The Spanish Friar"
In order to improve the mind, we ought less to learn, than to contemplate. - R. Descartes
Pictures after all may be suitable only for very young children; Lagrange dispensed entirely with such infantile aids when he composed his analytical mechanics. - E. T. Bell
As from afar the magic notes of Mozart's music still gently haunt me.... They show us in the darkness of this life a bright, clear, lovely distance, for which we hope with confidence. O Mozart, immortal Mozart, how many, oh how endlessly many such comforting perceptions of a brighter and better life hast thou brought to our souls! - F. Schubert