91一级特黄大片|婷婷中文字幕在线|av成人无码国产|日韩无码一二三区|久久不射强奸视频|九九九久久久精品|国产免费浮力限制

蔡國永（教授/博士） 1971.7生于廣西鳳山，分別在合肥工業(yè)大學、上海理工大學、浙江大學獲工學學士、碩士、博士學位。2001.09至2002.10在澳大利亞MURDOCH大學、EDITH COWAN大學進行合作研究，2010.1-2010.3到愛爾蘭Cork大學進行合作研究。多年來一直從事計算機科學與技術的教學和科研工作，主要研究領域為：軟件形式化理論及應用；安全可信網(wǎng)絡軟件架構和開發(fā)方法；社會計算；嵌入式實時系統(tǒng)開發(fā)等。曾參與國家863計劃項目、國家自然科學基金、國防預研重點項目、國防預研基金、廣西自然科學基金等10余項，主持完成廣西自然科學基金2項。在國內(nèi)外重要學術刊物和會議發(fā)表學術論文50余篇；出版學術著作/教材《網(wǎng)絡協(xié)議的形式化分析與設計》（電子工業(yè)出版社，2003）1部，并榮獲廣西優(yōu)秀教材一等獎（2006）。

社會網(wǎng)絡