Tian Zhao - Associate Professor



Contact Information

Office Address:
EMS 1145
3200 North Cramer Street
Milwaukee, WI 53211
Phone: 414-229-5682
Fax: 414-229-6958
Email: tzhao@cs.uwm.edu
WWW: http://www.cs.uwm.edu/faculty/tzhao/

Mailing Address:
P.O. Box 784
Department of Electrical Engineering and Computer Science
University of Wisconsin-Milwaukee
Milwaukee, WI 53201

Tian Zhao
Education

Ph.D., Purdue University, 2002

Research Interests

Programming languages (type systems and type inference, static program analysis, object-oriented programming), real-time software, and language-based security.

Selected Publications

  • Tian Zhao, J. Palsberg, and J. Vitek, "Type-based Confinement", Journal of Functional Programming, 16(1), page 83--128, 2006
  • K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T. Henzinger, and J. Palsberg "Stack Size Analysis for Interrupt-Driven Programs". Information and Computation, 194(2), pages 144-174, 1 November 2004.
  • J. Palsberg and T. Zhao, "Type Inference for Record Concatenation and Subtyping", Information and Computation, 189:54-86, 2004.
  • J. Palsberg, T. Zhao, and T. Jim, "Automatic Discovery of Covariant Read-Only Fields". ACM Transaction on Programming Languages and Systems, Volume 27 , Issue 1 (January 2005), page 126-162.
  • J. Palsberg and T. Zhao, "Efficient and Flexible Matching of Recursive Types". Information and Computation 171, 1-24, 2001.