Li Dan

副研究员、硕士导师/Associate Research Professor

Guizhou Academy of Sciences

www.scholat.com/lidan
About
News
Academic
个人简介

    教育经历:
  Ÿ    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服务

Biography

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

CONTACT Me
Scholat.com/lidan
我的主页
获取微信名片
SCHOLAT.com 学者网
ABOUT US | SCHOLAT