|About UMD | Academics | Admissions | Campus & Community | Student Life | News & Events | Services & Administration|
|Nav links: To Header | To Footer and UMD Index||
Office of the Provost
AY 05-06 NEW FACULTY
Gaoyan Xie is an Assistant Professor of Computer Science. 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.
An Official UMass Dartmouth Web Page/Publication. © 2008 Board of Trustees of the University of Massachusetts.