Ting Zhang

Assistant Professor
Department of Computer Science
Iowa State University
113 Atanasoff Hall
Ames, IA 50011

Email of Ting Zhang

Phone: (515) 294-2410

[ Short Bio | CV | Publications ]

Perspective Students

I am actively looking for motivated students who are interested in automated reasoning, program analysis and other mathmatical techniques for program reliability improvement. If you are not at ISU, please apply here. If you are already a student at ISU, drop me a message and we can schedule a time to chat in person.

Research

My research interests are in automated reasoning and its applications to program analysis, verification and synthesis.

Teaching

Fall 2008 -- CS 342: Principles of Programming Languages
Fall 2007 -- Automata, Logic, Games and Verification