蔡國永

1971年生，男，教授/博士，計算機科學與工程學院副院長，廣西河池人。

基本介紹

• 中文名：蔡國永
• 國籍：中國
• 出生日期：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部。

近期在研項目：

1 自治計算系統的形式化分析與驗證技術研究 廣西自然科學基金 4萬 2007-2009 主持；

2 規範驅動、策略調控的可信自治VO系統關鍵技術研究 國家自然科學基金 30萬 2008-2010 排名第二；

3 基於依賴公式抽象的軟體模型檢測研究 國家自然科學基金 24萬 2007-2009 排名第三；

4 可信服務協同理論、方法和技術研究 桂林電子科技大學博士基金 6萬 2008-2010 主持；

5 基於社會網路和規範的自治線上社區方法及關鍵技術研究 25萬 2011-01至2013-12 主持。

獲獎記錄

並榮獲廣西優秀教材一等獎（2006）；曾獲學校優秀科研工作者、優秀黨員等榮譽。