個人簡歷
趙保華趙保華，男，1947年8月出生，中國科學技術大學計算機系教授，博士生導師。1969年畢業於成都電訊工程學院。現任計算機系軟體研究中心副主任，中國通信學會通信軟體技術委員會副主任委員，中國計算機學會軟體工程專業委員會委員，程控交換技術與通信網國家重點實驗室學術委員會委員，《計算機信息與技術》雜誌編委，CEC'04 EAST ( IEEE International Conference on e-Commerce Technology for Dynamic E-Business) Program Committee Member，IPOM 2004（2004 IEEE International Workshop on IP Operations & Management）Program Committee Member，全國通信軟體第一屆(2003)、第二屆(2004)學術會議程式委員會委員，全國軟體與套用第一(2002)、二(2003)、三屆(2004)學術會議（NASAC）程式委員會委員。
主要研究方向
軟體工程、協定理論與協定工程 無線感測器網路
正在進行的科研項目
（1） 主持國家自然科學基金重大研究計畫項目：形式化的協定理論，項目編號：90104010，起止年月：2002年—2004年，正在進行中。
（2） 主持國家973計畫項目子課題：新一代網際網路體系結構理論研究子課題：新一代網際網路的協定理論和技術的研究；起止年月：2004年—2008年。
（3） 主持國家863計畫項目：IPv6協定測試技術，項目編號： 2001AA121016，起止年月：2002年—2004年，正在進行中。
（4）主持中國科學院院長基金特別支持項目：形式化的協定理論的研究，項目編號：院基計字905號，起止年月：2002年—2004年，正在進行中。
（5）主持華為公司基金項目：協定編解碼器硬體最佳化技術的研究；起止年月：2003年—2004年，正在進行中。
（6）參加國家自然科學基金項目：協定驗證理論與方法的研究，項目編號：60241004，起止年月：2002年11月—2005年12月，正在進行中。
（5）主持中國科學院計算機科學實驗室基礎研究課題: 協定驗證理論與方法的研究；起止年月：2004年—2005年。
完成的主要科研項目
（1）主持完成863計畫跨主題項目--中國高速信息示範網關鍵技術項目：路由協定測試，項目編號：863-300-02-08-99，起止年月：1999年—2000年， 2000年12月6日通過863專家組的驗收。
（2）主持完成863-317主題組長基金課題項目：使用構造類別代數規範進行通信協定一致性測試，項目編號：863-317-04-16-99，起止年月：1999年—2000年，2001年2月21日通過863專家組的驗收。
（3）主持國家863計畫項目：協定測試理論與方法的研究，項目編號： 2001AA112062，起止年月：2001年—2003年，已結題。
（4）主持安徽省自然科學基金項目：基於構造類別代數的通信軟體測試技術的研究，項目編號： 01042208，起止年月：2002年—2003年，評審為優。
（5）主持教育部博士點基金項目：通信軟體測試理論與方法的研究，項目編號：2000035802，起止年月：2001年—2003年，已結題。
（6）主持完成華為公司項目：九項，都已通過華為公司的驗收。
（7）主持安徽省國際科技合作項目：通信軟體測試系統，項目編號：99825004，本項目的目標是就“通信軟體測試系統”進行國際合作與交流；起止年月：1999年—2001年，與美國、日本等國的相關大學建立了國際科技合作關係。
（8）主持中興公司項目：信息安全中的網路掃描技術 ；起止年月：2002年8月—2002年12月，已通過公司的驗收。完成和正在進行的科研項目：
1. 主持國家自然科學基金重大研究計畫項目：形式化的協定理論，項目編號：90104010，起止年月：2002年—2004年，已結題。
2. 主持國家自然科學基金項目：協定驗證理論與方法的研究，項目編號：60241004，起止年月：2002年11月—2005年12月，已結題。
3. 主持國家自然科學基金項目：字元串模式匹配的硬化研究，項目編號：60602016，起止年月：2007年1月—2009年12月。
4. 主持國家自然科學基金項目：無線網路（WLAN,WMN）的跨層聯合多播糾錯機制的研究，項目編號：60872009 ，起止年月：2009年1月—2011年12月。
5. 主持完成國家863計畫跨主題項目--中國高速信息示範網關鍵技術項目：
6. 主持完成國家863-317主題組長基金課題項目：
7. 主持國家863計畫項目：
8. 主持國家863計畫項目：IPv6協定測試技術，項目編號： 2001AA121016，起止年月：2002年—2004年，已驗收。
9. 主持國家863計畫項目：無線區域網路的安全管理和分析系統，項目編號： 2009AA01Z148，起止年月：2007年—2009年。
10. 主持國家863計畫項目：模型驅動的軟體測試與驗證關鍵技術與支撐工具，項目編號： 2001AA01Z148，起止年月：2008年—2010年。
2002年以來發表的論文
[1] 基於層次結構的OSPF一致性測試，通信學報，Vol.23,No.8,2002,
pp87-92.
[2] 基於同步有向圖的同步序列的生成，計算機學報, Vol.25,No.6,
2002.6，pp632—636.
[3] 一種基於CSP的協定模型技術，小型微型計算機系統, Vol.25, No.5，2004。
[4] 基於構造類別代數的變異分析，電子學報，Vol.30,No.12A, 2002, pp249-251.
[5] 利用半可控接口進行通信協定一致性測試，通信學報，Vol.24，No.8，2003，pp72.
[6] Fault Identification by Passive Testing, IEEE 11th International Conference on Telecommunications (ICT2004)。
[7]基於數理統計方法的可靠性分析，中國科學技術大學學報，Vol.34，No.2，2004。
[8]通信順序進程的擴充及其在協定形式化技術中的套用，通信學報,Vol.25，No.2，2004。
[9] 基於構造類別代數的數據流和控制流相結合的協定測試，北京郵電大學學報，Vol.24增刊，2003，pp7-11，EI檢索（04188147178）。
[10] 基於Tcl的路由協定一致性測試，北京郵電大學學報，Vol.24增刊，2003，pp37-41，EI檢索（04188147183）。
2007年以來發表的論文:
