赵保华

研究方向：软件工程、协议理论与协议工程、无线传感器网络赵保华，男，1947年8月出生，1969年毕业于成都电讯工程学院，中国科学技术大学计算机学院教授，博士生导师。现任中国科学技术大学计算机学院软件研究中心副主任，协议理论与工程实验室主任，中国通信学会通信软件技术委员会副主任委员，中国计算机学会软件工程专业委员会委员，网络与交换技术国家重点实验室学术委员会委员，《北京邮电大学学报》编委。日本国立信息学研究所客员教授。学术任职：1.中国通信学会通信软件技术委员会副主任委员2.中国计算机学会软件工程专业委员会委员3.网络与交换技术国家重点实验室学术委员会委员4.《北京邮电大学学报》编委5.日本国立信息学研究所客员教授主持国家级项目：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计划跨主题项目--中国高速信息示范网关键技术项目：路由协议测试，　项目编号：863-300-02-08-99，起止年月：1999年—2000年。6.主持国家863-317主题组长基金课题项目：使用构造类别代数规范进行通信协议一致性测试，　项目编号：863-317-04-16-99，起止年月：1999年—2000年。7.主持国家863计划项目：协议测试理论与方法的研究，　项目编号：2001AA112062，起止年月：2001年—2003年。8.主持国家863计划项目：IPv6协议测试技术，　项目编号：2001AA121016，起止年月：2002年—2004年。9.主持国家863计划项目：无线局域网的安全管理和分析系统，　项目编号：2009AA01Z148，起止年月：2007年—2009年。10.国家863计划项目：模型驱动的软件测试与验证关键技术与支撑工具，　项目编号：2009AA01Z148，起止年月：2008年—2010年。11.主持国家973计划项目子课题：新一代互联网体系结构理论研究子课题：　新一代互联网的协议理论和无线传感器网络的研究，　项目编号：2003CB314801，起止年月：2004年—2006年。12.主持国家发改委项目：基于IPv6的无线传感器网络节点研究开发及产业化；　起止年月：2005年—2006年。13.主持信息产业部项目：骨干网路由器和交换机的攻击测试系统；　课题编号：2005C56；起止年月：2005年—2006年。14.主持中国科学院院长基金特别支持项目：形式化的协议理论的研究，　项目编号：院基计字905号，起止年月：2002年—2004年。　主要论著[01]LiPeilong,ZhangHonghai,ZhaoBaohua,RangarajanSampath,ScalableVideoMulticastWithAdaptiveModulationandCodinginBroadbandWirelessDataSystems、2011.06、IEEE/ACMTransactionsonNetworking,2011,PP(99).[02]PeilongLi,HonghaiZhang,BaohuaZhao,SampathRangarajan，ScalableVideoMulticastwithJointLayerResourceAllocationinBroadbandWirelessNetworks，18thIEEEInternationalConferenceonNetworkProtocols,ICNP2010,Kyoto,Japan,295--304Oct.2010.[03]LiPeilong;Zhang,Honghai;Zhao,Baohua;Rangarajan,Sampath，Scalablevideomulticastinmulti-carrierwirelessdatasystems，17thIEEEInternationalConferenceonNetworkProtocols,ICNP'09，October13,2009-October16,2009，Princeton,NJ,Unitedstates[04]GuYu,ZhaoBaohua,JiYusheng,LiJieTheoreticalTr