蔡維德

蔡維德

蔡維德(Wei-Tek Tsai),男,博士,教授,博士生導師。 現任北京航空航天大學國家“千人計畫”特聘教授等職務。

基本信息

個人簡介

現任國家特聘教授、北京航空航天大學國家“千人計畫”特聘教授、 清華大學長江講座教授 、美國亞利桑那州立大學終身榮譽教授 、英國倫敦大學學院 (UCL) 區塊鏈研究中心科學顧問 等職務。

主要經歷

蔡維德教授於1979年在美國麻省理工學院(MIT),獲得計算機科學專業學士學位,1985年在美國加州大學伯克利分校獲得計算機科學專業碩士學位及博士學位。在美國明尼蘇達大學和亞利桑那州立大學計算機系任教30餘年,是美國亞利桑那州立大學計算機科學與工程系實驗室主任,培養出博士80餘人。發表著作6本,論文548餘篇,SCI檢索百餘篇。曾擔任30界IEEE國際會議的大會主席。 曾任歐盟智慧城市和美國多項軟體工程及服務計算項目負責人。他的研究工作被美國國防部(US DoD)、Guidant (後來被Boston Scientific 併購)、Intel、Cray Research、 US WEST、Motorola、日本富士通、日立軟體等多國機構及業界認可並且套用。蔡維德教授是中國開源軟體推進聯盟(China OSS Promotion Union)專家委員會副主席及工業和信息化法治研究所高級研究員。

研究內容

對軟體測試尤其有著深入的研究,研究成果曾被軟體工程及測試領域的重要著作所引用(如B. Beizer 的Black-Box Testing 以及Software Testing Techniques);更被美國國防部等政府機構和工業界如Intel、Guidant、Hitachi Software、Fujitsu、US WEST、Motorola等世界著名公司所採納。蔡維德教授先後獲得了多項榮譽,包括:1990-1993獲IEEE Computer Society傑出學者獎(Distinguished Visitor);1992年獲IEEE Computer Society傑出服務獎(IEEE Meritorious Service Award);1996年獲IEEE核心成員金獎(IEEE Golden Core Member)。

擁有兩項美國專利(OUTER LOOP VECTORIZATION,美國,5802375,1998-9-1,2;和APPARATUS FOR VISUAL PROGRAMMING WITH SCREEN FLOW,美國,6055369,2000-4-25,2)。他對軟體測試尤其有著深入的研究,形成了大量的有影響力的研究成果,曾被軟體工程及測試領域的重要著作所引用(如B. Beizer 的Black-Box Testing 以及Software Testing Techniques);更被美國國防部等政府機構和工業界如Intel、Guidant、Hitachi Software、Fujitsu、US WEST、Motorola等世界著名公司所採納。

代表性研究成果

1)在軟體工程方面,提出並實現了面向對象的測試方法,研究論文先後發表在 Communications of ACM、 Journal of Object-Oriented Programming等國際期刊上,並被軟體工程經典教科書R. S. Pressman 的Software Engineering: A Practitioner's Approach所引用;提出了在工業界有重要影響的回歸測試技術和實踐方法,相關成果發表在Communications of the ACM上,並被主要的軟體工程教科書Ian Sommerville 的Software Engineering所引用;提出了系統的點對點的測試方法和分析方法,這個方法被美國國防部所採納,用於系統的Y2K測試;提出了一個針對嵌入式系統的快速測試和安全臨界點測試的方法,被包括Guidant在內的醫學儀器廠商廣泛的採用。事實證明,它可節省將近70%的軟體開發費用,效果明顯。

2)在安全方面,提出了評估多級別安全並發控制算法的框架及一種具體協定,該成果在資料庫安全領域具有重要意義,相關論文發表在IEEE Transactions on Knowledge and Data Engineering;提出了醫療儀器的性能安全分析方法(在IEEE Computer),被醫療儀器工業界採用。

3)在軟體維護方面,率先提出了基於數據相關性的軟體維護方法,具有許多傳統的控制流分析方法不可比的優點,相關論文先後發表在了Journal of Software Maintenance – Research and Practice等國際期刊上。該成果被富士通公司採納,基於此方法開發了Y2K軟體測試工具,並出版了日文著作。與此同時,US WEST公司也採用了這種辦法進行軟體維護,解決了困擾公司15年之久的難題。

4) 面向服務計算:蔡教授及其所領導的ASU軟體研究實驗室自2002年起開展關於SOA的軟體工程方法與技術研究,近年來在國際期刊及國際會議上發表相關論文100餘篇,並出版了3部專著。作為該領域研究的先驅,他是最早開展SOA生命周期過程、SOA協同驗證與確認、SOA建模、SOA仿真、SOA數據溯源等技術研究的學者之一,對該領域有著重要的影響。

5) 軟體即服務:蔡教授是本領域研究的具有很高影響力的科學家。在過去五年的時間裡,他發表了25篇SaaS方面的論文,開發了許多最新的SaaS技術,如: SaaS測試技術、SaaS模擬架構、SaaS建模技術、TaaS(測試即服務),和面向並行組合測試的測試代數,面向租戶套用測試的自適應組合測試方法、面向服務的SaaS等等。他在TaaS方面的研究工程處於世界領先的地位。

6)在加州伯克利博士生時期,蔡教授開發了出來分層路由協定(Adaptive Hierarchical Routing), 並且被網際網路採用, 發布在IEEE Transactions on Computer 1989年 。

相關詞條

熱門詞條

聯絡我們