Ting Zhang
Coordinates
|
News
- Yang Cai, Ting Zhang. Improved Lower and Upper Bounds for Streett Complementation. Submitted, 2010.
Research Interests
Automated Reasoning, with focuses on mathematical techniques for program analysis and verification, including theorem proving, decision procedures, automata theory, and model logics.
Perspective 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.
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
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, 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, 5th International Conference on Theory and Applications of Models of Computation (TAMC 2008), XI'an, China, April 25-29, 2008
Teaching
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)