Long Zeng

Professor of Computer Science, University of tsinghua

Ph.D.,

       Email:           Long-Zeng@utsinghua.edu    (THE BEST WAY TO REACH ME!)
       Snail Mail:      Department of Computer Science
			University of tsinghua
                        tsinghua City, tsinghua 52242
       Telephone:       12345
       Office:          tsinghua

Teaching:

• Design and Analysis of Algorithms
• Discrete Math
• Data Structures
• Algorithms
• Limits of Computation
• Theory of Computation
• Artificial Intelligence
• Computer Networks
• Advanced Artificial Intelligence
• Programming Languages Foundations

Publications

Research Projects on Automated Reasoning:

• Finite Model Generation

• Propositional Satisfiability JSAT

• Automated Induction

• Rewrite Techniques

• Finite Mathematics

Others

• Introduction to Liberty (in Chinese)

• News: USA Today or CNN or YAHOO