Personal detail First name: Yisong Last name: Wang Nationality: P.R. China Affiliation: Department of Computer Science & Technology, Guizhou University, Guiyang, China. 550025 Tel: 86-851-3621638 Fax: 6-851-3621638 Mobile: 86-013985025314 E-mail: csc.yswang@gzu.edu.cn Academic Qualifications 1. Sep 2004 – Jul 2007 Department of Computer Science & Technology, Guizhou University. Doctor of Philosophy. Supervisors: Prof. Mingyi Zhang and Prof. Fangzhen Lin Thesis: A Study of Compatibility and Loop Formulas of Normal Logic programs 2. 2Sep 2001 – Jul 2004 Department of Computer Science, Guizhou University. Master of Engineering. Supervisor: Prof. Mingyi Zhang Thesis: Extended Revision Programming 3. Sep 1994 – Jul 1998 Department of Computer Science, Guizhou University. Bachelor of Engineering. Awards and fellowships 1. Ray Reiter best paper prize at KR-2006 (with Yin Chen, Fangzhen Lin, and Mingyi Zhang) 2. Sep 2002 – Dec 2002 visiting scholar Department of Mathematics and Computer Science, Leicester University, UK. 3. Mar 2005 – Jun 2005 visiting scholar Department of Computer Science, Hong Kong university of Science and Technology, Hong Kong. 4. Oct.5 2007 – Oct.4 2008 Postdoctoral fellowship Department of Computer Science and Engineering, Hong Kong university of Science and Technology, Hong Kong. 5. May 2009 – April 2010 Postdoctoral fellowship Department of Computing Science, University of Alberta, Canada