Ting Zhang


Avatar of Ting Zhang
Ting Zhang

Iowa State University
Computer Science Department
113 Atanasoff Hall
Ames, IA 50011, USA

Email: tingz@mail.iastate.edu
Phone: 1-515-294-2410
Fax: 1-515-294-0258


Research Interests

Automated Reasoning, with focuses on mathematical techniques for program analysis and verification, including theorem proving, decision procedures, automata theory, and model logics.

Prospective Students

If you are not at ISU, please apply here. If you are already a student at ISU, please drop me a message and we can find time to chat.

Current Students

Wanwu Wang, PhD student
Chuan Jiang, PhD student
Xiang Huang, PhD student


Ting is an assistant professor of Computer Science Department at Iowa State University.

Ting received Ph.D. degree (2006) in Computer Science from Stanford University under the advisement of Dr. Zohar Manna.

Prior to joining Iowa State University, Ting was a researcher at Microsoft Research Asia.

Honors and Awards

2010 Career Award by National Science Foundations

2007 Ackermann Award by European Association for Computer Science Logic (EACSL)

2004 Best Paper Award by The International Joint Conference on Automated Reasoning (IJCAR)

Professional Activities

Program Committee Member, The 9th International Conference on Theory and Applications of Models of Computation (TAMC 2012), May 16-21, 2012, Beijing, China.

Program Committee Member, The 7th IEEE International Conference on Embedded Software and Systems (ICESS 2010), June 29-July 01, 2010, Bradford, UK.

Program Committee Member, 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2010), June 7-9, 2010, Hyatt Regency Newport Beach, Newport Beach, California, USA.

Program Committee Member, The 5th International Conference on Theory and Applications of Models of Computation (TAMC 2008), April 25-29, 2008, XI'an, China.


COM S 541: Type Theory and Programming Languages (Fall 2012)

COM S 331: Theory of Computing (Spring 2011)

COM S 641: Games in Logic, Synthesis and Verification (Spring 2010)

COM S 342: Principles of Programming Languages (Fall 2009, Fall 2008)

Automata, Logic, Games and Verification (Spring 2007, Tsinghua University)


Ting is a Matrix aficionado. He believes that the world is a simulation and he loves being simulated as one having some knowledge about the simulator. Other copies exist as actor, businessman, photographer, acupuncturist, writer, mathematician, economist, ....