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 looking for motivated students who are interested in automated reasoning, program analysis. 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