Hantao Zhang

Professor of Computer Science, University of Iowa

Ph.D., Rensselaer Polytechnic Institute, 1988.

       Email:           hzhang@cs.uiowa.edu    (THE BEST WAY TO REACH ME!)
       Snail Mail:      Department of Computer Science
			University of Iowa
                        Iowa City, Iowa 52242
       Telephone:       (319) 353-2545 (office), (630) 499-9647 (home)
       Fax:             (319) 335-3624
       Office:          201B MacLean Hall

Teaching:

• Artificial Intelligence
  
  
• Theory of Computation
• Computer Networks
• Advanced Artificial Intelligence
• Algorithms
• Programming Languages Foundations
• Compiler Construction
• Design and Analysis of Algorithms

Publications

Research Projects on Automated Reasoning:

• Finite Model Generation

• Propositional Satisfiability

• Automated Induction

• Rewrite Techniques

• Finite Mathematics

Others:

• Private FTP Site or Chinese Corner

• WWW Library or YAHOO

• USA Today or CNN

Maps