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

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

社會網(wǎng)絡(luò)