His main research interests are in the areas of programming languages, which include type systems, static analysis, and real-time programming. He can be reached at tzhao@uwm.edu.