Name:Zhijia Zhao

Affiliation:University of California at Riverside

Research interests:Programming system support for parallelism, especially for automata, graph, and tree-based computations; Program analysis and software reliability