Ting Zhang received his Ph.D. in Computer Science from Stanford University in 2006. Before he joined ISU, he was a researcher at Microsoft Research Asia. He received the Best Paper Award of IJCAR 2004 and Ackermann Award 2007.