He joined UMass Dartmouth in Fall 2005, after receiving his Ph.D in Computer Science from Washington State University. During the period of 1999-2000, he had also been a Software Engineer at Nanjing Automation Research Institute, China. Prior to that, he studied at Nanjing University, China and received his B.S. and M. Engr. in Computer Science in 1996 and 1999 respectively. His areas of specialization include software engineering, computer aided verification and programming languages. His current research focuses on a decompositional approach for the quality assurance of component-based software. His research has been published in journals such as Theoretical Computer Science and conference proceedings such as CAV and ICALP.