He received his Ph.D. from University of California at Santa Barbara. His research interests are in the areas of model-checking and testing for inﬁnite-state and/or real-time systems , automata theory, and membrane computing systems (P systems). More information available at: http://www.eecs.wsu.edu/~zdang/