BIOGRAPHY

  • Tianqin Zhao is a Ph.D. student in the Department of Computer Science at University of Southern California(USC), advised by Prof. Chao Wang since 2017 fall. Prior to joining USC, Tianqin was a research assistant and Master’s student, advised by Prof. John Criswell, in the Department of Computer Science at the University of Rochester.

Research Interest:

  • Program analysis and transformation for detecting and solving computer security vulnerabilities
  • Program verification and program synthesis to improve systems’ safety and security.