Tian Zhao, Ph.D.

Tian Zhao, Ph.D.
, tzhao@uwm.edu
(414) 229-5682
Eng & Math Sciences 1145
Associate Professor
Computer Science


  • Ph.D., Purdue University, 2002

Research Focus:

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


  • 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.