He received the Ph.D. degree in Electrical Engineering from the University of Utah in 2002. His interests include software testing, analysis, verification, specification, timing analysis, real time semi-formal verification, and parallel algorithms.