Ting Zhang
Coordinates
 |
|
News
- Yang Cai, Ting Zhang. Can Nondeterminism Help Complementation? Submitted.
- Yang Cai, Ting Zhang. A Tight Lower Bound for Streett Complementation. To appear in FSTTCS 2011.
- Yang Cai, Ting Zhang. Tight Upper Bounds for Streett and Parity Complementation. To appear in CSL 2011.
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
Biography
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.
Teaching
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)
Trivia
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, ....