李大维博士近年来的研究贡献包括（详细内容参见主要论著）：
- 数据网络和下一代互联网协议系统
1. 建立了一个具有光学和无线接口的IPv6边缘路由器原型。
2. ITIS(互操作性测试智能系统，针对网络协议系统的互操作性测试的软件系统)项目。该项目开创了使用形式化方法进行集成系统的互操作性测试的工作，
建立了数学模型，开发出了高效率的测试生成算法，开发了软件系统ITIS，并把自动生成的测试序列应用于VoIP(Voice-over-IP)中，包括H.323、Q.931及其它通信系统。基于本项目发表的论文获
得了2000年PSTV-FORTE(关于形式化方法的权威国际会议) 最佳论文奖。
3. 开发了一个新信令协议来避免或减少互联网的信令网拥塞。提出了一个实际解决方案以解决著名的造成互联网拥堵的OSPF协议LSA
N平方问题。
4. 针对无损和背压分组网络(如千兆以太网)设计了不存在死锁和活锁的协议。
5. SOCRATES系统(测试IP路由器路由协议的软件系统)：建立了数学模型，开发出了高效率的测试生成和执行算法，并将其应用于如RIP、OSPF、BGP等
IP路由协议的测试。
6. 提出了协议裁剪和网关合成的多项式时间算法，并且应用于实际的复杂网络协议，如TCP/IP和ATM，运行时间只需几分钟，这是以前指数时间算法不可能实现的。
|
