Tian Zhao

Tian Zhao

  • Associate Professor, Computer Science


  • PhD, Purdue University, 2002

Research Interests

  • Type systems
  • Type inference
  • Static analysis
  • Domain specific programming


  • E. Fritz and T. Zhao, "Inferring Types of Asynchronous Arrows in JavaScript," in Proceedings of Reactive and Event-based Languages & Systems, 2015
  • C. Zhang, T. Zhao, and W. Li. "Geospatial Semantic Web," Springer, 2015
  • J. Boyland and T. Zhao, "Variable Arity for LF," in Proceedings of Logical Frameworks and Meta-Languages: Theory and Practice, 2014
  • A. Alnusair, T. Zhao and G. Yan, "Rule-based Detection of Design Patterns in Program Code," International Journal on Software Tools for Technology Transfer, 16(3): 315-334, 2014
  • T. Zhao, "Polymorphic type inference for scripting languages with object extension," in proceedings of Dynamic Languages Symposium, 2011
  • T. Zhao, J. Baker, J. Hunt, J. Noble, and J. Vitek, "Implicit Ownership Types for Memory Management," Science Of Computer Programming 71(3): 213-241, 2008