Ting Zhang
Assistant Professor

Office: 113 Atanasoff Hall Phone: (515) 294-2410 Fax: (515) 294-0258 Email: tingz@cs-DOT-iastate-DOT-edu (replace "-DOT-" with ".") Homepage: http://www.cs.iastate.edu/~tingz

Current Affiliations

• Computer Science Department

Research Interests

Automated Reasoning and Its Applications to Program Analysis and Verification

Research Areas

Theory of Computation, Software Systems, Software Engineering

Education

Ph.D.   Computer Science, Stanford University   2006
M.S.   Computer Science, Stanford University   2001
B.S.   Computer Science, Peking University   1996

Representative Publications

Refereed Journal and Conference Publications

Yang Cai, Ting Zhang, Haifeng Luo. An Improved Lower Bound for the Complementation of Rabin Automata. Twenty-Fourth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE, Los Angeles, California, USA, IEEE, 2009.