-
1个人简介
-
2研究兴趣
-
3Biography
-
4Contact Me
教育经历:
2008.10-2013.8: 澳门大学,科技学院计算机信息科学系,软件工程,博士。
1980.9-1984.7: 华东理工大学,化学工程,学士。
培训经历:
1997.10–1998.5, 高级系统分析/设计,冲绳国际中心,日本。
研究工作经历:
2007.5-目前,贵州科学院,副研究员
2008.2-2008.9,联合国大学国际软件研究所,研究员
2002/3-2002/12,联合国大学国际软件研究所,访问学者
1984.9-2007.4,贵州科学院,助理研究员
模型驱动和基于构件的软件开发 , 模型转换及支持工具 , 形式化方法及应用 , 云计算及web服务
Introduction
Education:
* Ph.D.in Software Engineering, University of Macau, 2008–2013.
Supervisors:Prof. Xiaoshan Li, Dr. Zhiming Liu of UNU-IIST
* B.S.in Chemical Engineering, East China University of Science and Technology,1980–1984
Related Training:
* Nov.1997–May1998, Senior System Analyst/Designer, Okinawa International Center, Japan.
Work Experience:
* 2007–Present, Associate Research Professor, Guizhou Academy of Sciences, China.
* 1984–2006, Assistant Research Professor, Guizhou Academy of Sciences, China.
Successfully presided over more than ten software development projects.
* March–Dec. 2002 and Feb.– Oct. 2008, Fellow, International Institute for
Software Technology, United Nation University (UNU-IIST), Macau, China
Patents:
* A method for multi-levelmulti-zone share group access control, Chinese invention patent (CN101577622), July. 2012, as second inventor.
Research Projects:
1. An application research on multi-level multi-zone access control system, Guizhou international science and technology cooperation project, granted by the Department of Science & Technology of Guizhou Province, 2011-2013, as project leader.
2. A Framework of Diagnosing and Correcting for Software Errors under Confidence Constraints, granted by the National Natural Science Foundation of China (NSFC 90718009), Jan. 2008–Dec. 2010, as principal investigator.
3. Design and Development of eTechCMS: A Personalized & Intelligent Enterprise Content Management System, 2007 high-tech industrialization demonstration projects of Guizhou Province, granted by the Guizhou Province Development and Reform Commission and the Department of Science & Technology of Guizhou Province, May 2007–Dec. 2008, as project leader.
4. Research and Design of the B2 Level Security Database Based on the Logic SQL, granted by the Special Governor Fund of Guizhou Province for Outstanding Scientific and Educational Talents (2005-88), Dec. 2004–Dec. 2006, as principal investigator.
5. Comprehensive Criminal Information System Based on Security Database for Municipal Police Bureau, 2005 high-tech industrialization demonstration projects of Guizhou Province, granted by the Guizhou Province Development and Reform Commission and the Department of Science & Technology of Guizhou Province (2004-JN057), Dec. 2004–Dec.2005, as principal investigator.
6. Application of the Formal Methods in Software Development, granted by the Department of Science & Technology of Guizhou Province (No. 2001-3010), Sept. 2001–June 2003, as project leader
Education
Work Experience