Prof. Hantao Zhang retired from the Computer Science Department on January 1, 2022.

He joined the Department in August 1988 after obtaining his Ph.D. in Computer Science with Deepak Kapur at the Rensselaer Polytechnic Institute (dissertation: "Reduction, Superposition and Induction: Automated Reasoning in an Equational Logic"). Prior to his work at RPI, Prof. Zhang was a graduate of Wuhan University (China), and earned a Doctorate of Information Science from the University of Nancy I (France). At Iowa, Prof. Zhang was promoted to Associate Professor in 1990 and to Professor in 2000.

Prof. Zhang is an internationally recognized expert in automated reasoning, logic, and satisfiability. At Iowa, he taught a diverse array of classes, including Artificial Intelligence, Computer Networks, Data Structures, Design and Analysis of Algorithms, Discrete Structures, Limits of Computation, Programming Language Foundations, and Theory of Computation.

Please join us in wishing Prof. Zhang a happy, healthy, and prosperous retirement.