Academic Qualification
- DPhil. in Computing, Oxford University Computing Laboratory, U.K. (1992)
- BSc. in Computer Science, East China Normal University, China (1985)
Professional Services
Member of the following program committees:
- Asia-Pacific Software Engineering Conference 2012 (APSEC 2013)
- Asia-Pacific Software Engineering Conference 2012 (APSEC 2012)
- International Conference On Quality Software 2008 (QSIC 2008)
- International Conference On Quality Software 2007 (QSIC 2007)
- International Conference On Quality Software 2006 (QSIC 2006)
- International Conference On Formal Engineering Methods 2006 (ICFEM 2006)
- International Conference On Quality Software 2005 (QSIC 2005)