主要研究方向：
软件理论与服务评估，重点研究云服务关键支撑技术和测试评估方法； 基于Web应用系统的建模与测试； 新一代互联网合约的建模和测试； 分布式估计建模与测试工程； TTCN- 3 测试套件的设计和开发； 基于微内核的操作系统的形式分析和测试； 合同互操作性测试； 合同一致性测试； 分布式系统测试。
教育经历：宁夏计算机大学，博士、硕士。
宁夏大学电子系，学士。
美国留学及升学经历：
2000年9月至2001年3月，美国渥太华大学访问学者。
2004年8月-2004年12月，就读于法国格拉斯哥学院（曼彻斯特大学），并获得都柏林学院教育证书。
恢复：
承担过《PASCAL》、《FORTRAN》、《C语言》、《C语言与人工智能》、《数据结构》、《Foxbase》、《C语言》、《PROLOG与专家系统》、《计算机网络》等课程》、《数据通信与计算机网络》、《操作系统》、《网络工程》、《计算机英语》、《网络原理与开发技术》、《计算机网络》、《软件测试》。
现任宁夏大学计算机学院院长、博士生导师。 主要负责专科生《计算机网络》、《软件测试》和研究生《测试理论》的教学。
宁夏自治区精品课程《计算机网络》主持人。 宁夏自治区“计算机网络系列课程教学团队”主持人。 宁夏大学教学教师。
研究项目：
1）主持项目：国家自然科学基金、宁夏自然科学基金重点项目、教育部春晖项目等、宁夏自治区教学团队、中国高等教育学会“十一五”教育科研规划项目、宁夏自治区精品课程等教学改革项目。
2）作为核心成员参加项目：国家自然科学基金、863项目、中欧合作项目1项、宁夏自然科学基金重点项目等16项。
3）完成多项垂直科研项目：包括公益网站、网络应用系统、电子政务系统、OA系统的开发以及功能测试、性能测试、验收测试。
荣获：
1）2008年，作为主要设计开发人员的宁夏科技攻关项目“网络系统测试工具软件的研究”荣获宁夏科学技术进步奖二等奖。
2）参与国家项目“非确定性分布式系统测试方法与工具研究”的研究工作，获2000年宁夏科技进步二等奖。
3）宁夏大学名师。
4）2009年，《问题式教学法在计算机科学教学中的应用》获宁夏高校教学奖三等奖，排名第一。
5）2008年教育部举办的“英特尔杯”省级计算机教育论文竞赛，《分步双语教学的探索与实施》荣获优秀论文奖。
6）1999年，获宁夏大学第二届青年班主任课堂教学技能大赛三等奖。
目前的研究生：
2010级：薛宇、河南、夏星星、王晓雪（专业硕士）
2011级：董露露、刘铁刚
2012级：吕亮亮、张素梅
书籍或译着：
1）参与翻译《计算机网络-系统方法》第三版，Larry Petersen等着，机械工业出版社2005年出版。
2）参加编写《计算机网络教程》，宁夏大学出版社，2004年。
3）2002年参加宁夏大学出版社《计算机专业中文》的编写。
发表论文：
2012年论文
[1]。 李华，郭亚杰。 合同可以通过属性分析和测试方法来扩展。 中国科技论文． 2012 年，第 10 期，第 745-750 页。
[2]。 阮宏伟，李华，王艳。 基于网络设备中间指令的通用网络设备驱动中间件。 第十九届 CERNET 学术峰会论文集，2012 年，第 17 卷，第 49-53 页。
[3]。 刘铁刚、王岩、李华、阮宏伟、吴成勇。 基于Hash函数的网页篡改检查模块的实现。 第十九届CERNET学术峰会论文集，2012年，第17卷，P87-90
[4]。 阮宏伟，刘铁刚，李华，王晓雪。 通过主成分分析检测网页篡改。 中国科技论文，2012.7，7(7)，pp544-547。 ISSN2095-2783
[5]。 HuaLi、YuXue、Jing-YuanYue、NanHe、HongjiYang 和 MohammedAlawirdhi。
[6].基于扩展 PetriNet 与非确定性的互操作性测试建模和生成。计算机杂志，23(3)：7-17。大陆集团。
[7]。 卢辉，李华，“IPv4/IPv6混合网络的AP2P通信方法”，未来教育计算机(ICFCE2012)，2012年6月1-2日，上海，中国，Volume24: p23-26
[8]。 陆辉、李华，“多元化教学法在基于阶段的Web编程教学中的应用”苏州网站防篡改程序，未来计算机教育（ICFCE2012），2012年6月1-2日，上海，中国，第24卷：第27-30页
[9]。 夏星星，李华，薛宇，洪友芬。 6LoWPAN适配层基本功能分析与实现[J]. 宁夏大学学报，自然科学版。 2012 年 7 月，43(4)：402-408。
[10]。 华丽、艺兴、雨雪、新明业。 基于 PetriNet 的分布式系统交互性能测试研究。IEEE2012 第二届服务和云计算形式化方法国际研讨会 (FM-S&C2012)，2012 年 6 月 24 日至 292012 年，第 227-233 页，威基基凯悦度假村和水疗中心，美国夏威夷檀香山。 EI： **671
[11]。 尤芬红，华丽，行航夏，现荣王。 基于电子技术的6LoWPANA适配层的研究与实现。 2012年机械与电子工程国际会议(ICMEE2012)，2012年6月23-24日，pp415-422，合肥，中国.EI**180
[12]。 南河，华力，庞斌，谢辉，杨红吉，“基于CPN的测试生成过程中如何应对经典软件的演化”[C]，2012年系统与信息学国际会议(ICSAI2012)，2012年5月19-20日，pp1126-1130，烟台，中国.EI：**200
[13]。 薛宇、李华、星一、叶新明，“基于PetriNet的交互式属性测试研究”，2012年系统与信息学国际会议(ICSAI2012)，2012年5月19-20日，第2466-2470页，烟台，中国。 EI： **521
[14]。 李华，张俊兴，谢辉，计算机网络课程教学方法的设计。 计算机教育，2012年，第1期，第72-74页。
2011年论文
[15]。 郭亚杰，李华，敖腾和，等.DNS服务器解析性能测试方案设计[J]，广东大学学报，2011.36（季刊）：55-60。
[16]。 阮宏伟，李华，王晓雪，等. 基于快照协程和文本度量的批量网页防篡改系统[J]，广东大学学报，2011.36（季刊）：142-148.
[17]。 李华，刘龙，洪友芬，叶新明，杨洪吉。 基于属性的协议互操作性测试的非确定性建模和测试生成.CiSE2011，武汉，12月即将亮相
[18]。 洪有芬，刘龙，李华。 基于属性的合约互操作性测试的TTCN-3实现[J]. 宁夏大学学报，自然科学版，2011，42(5)：481-485。
[19]。 岳靖远，李华，郭亚杰。 Minix3 系统调用的基于属性的建模和测试。 宁夏大学学报，自然科学版，2011，42(5)：570-575。
[20]。 郭亚杰、李华、岳靖远。 基于正交实验的Web表单相关项测试[J]. 内蒙古大学学报，自然科学版，2011，42(5)：528-532。
[21]。 李华，叶新明，吴成勇，王佳，卢东旭。 基于方法的BT合约建模与测试生成，大型微机，2011，32(4)：676-679。
2010年论文
[22]。 李华，叶新明，吴成勇苏州网站防篡改程序，岳景源，洪友芬，郭亚杰。 基于属性的网络合约互操作性建模和测试生成。 2010年中国计算机大会优秀论文，北京。
[23]。 李华，王玲玲，吴承勇，谢辉。 研究可选性对合约互操作性的影响。 中南大学学报（自然科学版）（季刊），2010.10，vol41，pp166-172。
[24]。 阮宏伟，李华，敖腾和，谢辉。 基于快照协程的批量网页防篡改系统设计。 中南大学学报（自然科学版）（季刊），2010.10，vol41，pp166-172。
[25]。 卢东旭，李华，王佳。 BitTorrent 合约的可控性研究。 西南大学学报，2011，32(6)：265-269。
[26]。 Y. Wang、JT Zhou、H. Li、Y.hao，“基于 Maria 的安全协议 PetriNet 模型分析与验证”，Proc。 IEEE 症状。 计算机应用和系统建模 (ICCASM2010)，IEEE Press，2010 年 10 月 2-24 日，第 2 卷，第 400-405 页。 山西省太原市。
[27]。 王岩、李华、周建涛，“基于Maria的图形Petri网分析器的研究与设计”，2010年国际信息安全与人工智能大会(ISAI2010)，IEEEpress (ISAI2010)，中国成都，12月17-19日。
[28]。 王艳, 李华, 常军. 基于文本频率冗余度的单模式匹配算法研究[J]. 计算机应用, 2011,31(11): 1777-1777 宁夏大学学报． 2010,41(6):707-710。
[29]。 刘龙，李华，叶新明，杭成宝，王玲玲，OSPF契约互通测试建模方法研究。 计算机与数字工程，2010，38(8).145-149。
[30]。 李华，彭永光，叶新明，岳景源，“TestSequenceGenerationfromCombiningPropertyModelingandProgramSlicing”[C]，第34届IEEE计算机软件和应用会议研讨会(Compsac2010)，2010，韩国首尔，第45-50页。
[31]。 潘斌，李华，基于无监督学习方法的网络流量识别研究。 国际工程与商业管理会议论文集 (EBM2010)，页码：5105-5109，3 月 25-27 日，中国成都。
[32]。 李华，敖腾和，庞斌，谢辉，陆辉，基于问题学习的计算机网络课程体系构建研究，计算机工程与科学，第32卷，2010年，A1期，第168-171页。
2009年论文
[33]。 阮宏伟，李华，邢海峰。 论《盲人象》给计算机教育带来的新思维[J]． 计算机教育，2009年，第(23)卷：110-112。
[34]。 RuanhongweiliihuaaaaaaaaaaaaChengyong.reflectionOfnetworkSecurityCAUSEDBYAWHEEL.ICCTD2009 (2009interNALNALENCONCONOLOGYNOLOGYANDEVELE opment) Volume1, Session14, Page566-568,2009.11.13-15, 马来西亚哥打京那巴鲁。
[35]。 王玲玲，李华，叶新明，吴成勇。 基于 PNFSM 的 QE 建模和测试选择。
[36]。 李华，叶新明，吴成勇，王龙，王玲玲，一种互操作性测试的建模与测试选择方法，计算机研究与发展，2009，vol46(6):913-919。
[37]。 李华，叶新明，李元平，杭成宝。 通用分布式路由合约测试系统的设计。 宁夏大学学报，2009，40(2)：208-214。
[38]。 李华，张菊萍，叶新明，吴成勇。 TTCN-3测试系统合同相关部分的分析与实现，计算机工程，2009，35(21)：253-255。
[39]。 李华、叶新明、刘静、刘龙。 联通IPv6合同中联通节点可执行测试序列生成方法研究计算机科学，2009，36(10)：137-140。
[40]。 吴茂春，李华，王龙。 互操作性场景中策略路由的建模和测试。 笔记本开发与应用，22(8):20-23。
[41]。 彭永光，李华，叶新明。 基于Petri网程序划片法的Minix3分析与测试研究笔记本开发与应用，22(8):1-4。
[42]。 李华，叶新明，吴成勇，刘龙，王玲玲。 使用 PetriNet 对 MIPv6 的交互属性进行互操作性测试建模，第二届国际信息与计算科学会议 (ICIC2009)，英国曼彻斯特，2009 年，5 月 21-22 日，第 313-31 页 6。
[43]。 李华，叶新明，吴成勇，杭成宝，王玲玲。 使用 PetriNet 对非确定性特征进行网络协议互操作性测试建模，2009 年 WRI 世界计算机科学与信息工程大会 (CSIE2009)，美国加利福尼亚州洛杉矶，2009 年 3 月 31 日至 4 月 2 日，第 825-829 页。
2008年论文：
[44]。 李华，叶新明，吴承勇，王龙。 下一代网络合约测试数据半手动生成研究，计算机科学，2008，35(12)：59-62。
[45]。 李华、张涛、叶新明、王龙。 BGP4+互操作性测试研究，计算机科学，2008，35(7)：29-31。
[46]。 华丽，叶兴明，曾敏。 基于XML的分布式一致性测试系统的设计与实现。 2008年计算机科学与计算技术国际研讨会(ISISE2008)，中国上海，2008年12月20-22日，第178-182页。
[47]。 华莉。 基于问题的混合 X 学习在计算机科学中的实现。 CSSE：教育信息技术国际会议。 2008，中国武汉，2008 年 12 月 12-14 日，pp1230-1232。
[48]。 李华，叶新明。 合约互操作性测试调查。 宁夏大学学报（自然科学版），2008，39（5）：590-596。
[49]。 王佳，李华，叶新明，杭成宝。 基于NTP合约的时间同步服务测试设计与实现，CTC2008第五届中国测试学术会议。 中国扬州，2008 年 5 月 21-24 日，第 140-143 页。
[50]。 李华，高光来，魏凤起，周建涛，李德才。 循序渐进的双语教学探索与实施。 计算机教育，2008年，第20期，第135-137页。
[51]。 丁雪莲，李华。 边界网段合约BGP4+一致性测试。 宁夏大学学报（自然科学版），2008，39（3）：351-356。
[52]。 郭怡静，叶新明，李华。 手动生成 OSPFv3 合同一致性测试序列。 宁夏大学学报（自然科学版），2008，39（4）：475-480。
2007年论文：
[53]。 李华，张涛，叶新明。 基于XML的OSPFv3一致性测试研究计算机科学，2007，34(4)：59-62。
[54]。 孙涛，李华. TTCN 合约测试执行系统驱动程序的合约相关性研究。 宁夏大学学报（自然科学版），2007，38（6）：88-93。
[55]。 刘乐山，李华。 基于OOPN的面向对象集成测试方法宁夏大学学报（自然科学版），2007，31（1）：702-706。
[56]。 李华，叶新明。 基于Petri网的测试路径选择标准。 宁夏大学学报（自然科学版），2007，38（1）：88-93。
[57]。 李华，吴承勇. 基于问题的学习在计算机相关课程教学中的应用高等科学教育，英文核心期刊，2007年，1，第317-319页。
