蔡国永（教授/博士） 1971.7生于广西凤山，分别在合肥工业大学、上海理工大学、浙江大学获工学学士、硕士、博士学位。2001.09至2002.10在澳大利亚MURDOCH大学、EDITH COWAN大学进行合作研究，2010.1-2010.3到爱尔兰Cork大学进行合作研究。多年来一直从事计算机科学与技术的教学和科研工作，主要研究领域为：软件形式化理论及应用；安全可信网络软件架构和开发方法；社会计算；嵌入式实时系统开发等。曾参与国家863计划项目、国家自然科学基金、国防预研重点项目、国防预研基金、广西自然科学基金等10余项，主持完成广西自然科学基金2项。在国内外重要学术刊物和会议发表学术论文50余篇；出版学术著作/教材《网络协议的形式化分析与设计》（电子工业出版社，2003）1部，并荣获广西优秀教材一等奖（2006）。

社会网络