副研究員、碩士導(dǎo)師/Associate Research Professor
院.png){kind=logo}
-
1個(gè)人簡(jiǎn)介
-
2研究興趣
-
3Biography
-
4Contact Me
個(gè)人簡(jiǎn)介
教育經(jīng)歷：
? ? 2008.10-2013.8: 澳門大學(xué)，科技學(xué)院計(jì)算機(jī)信息科學(xué)系，軟件工程，博士。
? ? 1980.9-1984.7: 華東理工大學(xué)，化學(xué)工程，學(xué)士。
?
?培訓(xùn)經(jīng)歷：
? ? 1997.10–1998.5, 高級(jí)系統(tǒng)分析/設(shè)計(jì)，沖繩國(guó)際中心，日本。
研究工作經(jīng)歷：
? ? 2007.5-目前，貴州科學(xué)院，副研究員
? ? 2008.2-2008.9，聯(lián)合國(guó)大學(xué)國(guó)際軟件研究所，研究員
? ? 2002/3-2002/12，聯(lián)合國(guó)大學(xué)國(guó)際軟件研究所，訪問(wèn)學(xué)者
? ? 1984.9-2007.4，貴州科學(xué)院，助理研究員 ??
研究興趣
模型驅(qū)動(dòng)和基于構(gòu)件的軟件開(kāi)發(fā) , 模型轉(zhuǎn)換及支持工具 , 形式化方法及應(yīng)用 , 云計(jì)算及web服務(wù)
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
Scholat.com/lidan
