Coordinates
 |
|
Biography
Ting is an assistant professor in the Department of Computer Science at Iowa State University. His main research areas are automated reasoning and its application to program analysis and verificaiton.
Ting was in the The REACT Group of Computer Science Deparetment at Stanford University. He obtained this Ph.D. in 2006 under the supervision of Prof. Zohar Manna. Dr. Henny Sipma was his co-advisor.
Ting worked as a Researcher in the Microsoft Research Asia.
Ting was awarded Ackermann Award 2007 for his Ph.D. thesis Arithmetic Integration of Decision Procedures. Here is the summary of the thesis.
Ting taught Automata, Logic, Games and Verification at Tsinghua University in Spring 2007.
Ting is a Matrix-aficionado. He believes that the world is a simulation and he loves being simulated as one having knowledge about the simulator.