Experience
Education
Bio
His research interests include program analysis, formal modeling of business processes, automated testing, and verification. From 2006, he served as a PC members in a number of international academic conferences, including ATVA, ICFEM, ICTAC, etc.