桂林电子科技大学计算机教授

1971年生，男，教授/博士，计算机科学与工程学院副院长，广西河池人。分别于1993.7、1999.1、2008.9在合肥工业大学、上海理工大学、浙江大学分别获得微电子学学士、计算机应用硕士、计算机科学与技术博士学位。

2001.09至2002.10在澳大利亚MURDOCH大学、EDITH COWAN大学进行科研合作工作；2010.1-2010.4在爱尔兰Cork大学（University college Cork)进行访问研究。

主要研究领域：软件形式化理论及应用；安全可信网络软件架构和开发方法；社会网络信息系统；人工智能和知识工程；嵌入式实时系统开发等。

科研项目情况：

曾参与国家重点基础研究973计划项目1项、国家高新技术863计划项目1项、国家自然科学基金项目2项、国防预研重点项目1项、国防预研基金项目1项、广西自然科学基金项目3项。在国内外重要学术刊物和会议发表学术论文50余篇；出版学术著作/教材《网络协议的形式化分析与设计》（电子工业出版社，2003）1部，并荣获广西优秀教材一等奖（2006）；曾获学校优秀科研工作者、优秀党员等荣誉。

近期在研项目

1 自治计算系统的形式化分析与验证技术研究 广西自然科学基金 4万 2007-2009 主持

2 规范驱动、策略调控的可信自治VO系统关键技术研究 国家自然科学基金 30万 2008-2010 排名第二

3 基于依赖公式抽象的软件模型检测研究 国家自然科学基金 24万 2007-2009 排名第三

4 可信服务协同理论、方法和技术研究 桂林电子科技大学博士基金 6万 2008-2010 主持

5 基于社会网络和规范的自治在线社区方法及关键技术研究 25万 2011-01至2013-12 主持