Research 研究方向
团队目前有3个研究方向：网络验证、可编程网络、传输性能优化。可点击图标查看详细介绍。
NetVerify 网络验证
随着网络规模和复杂度的增加，特别是大规模训练集群的出现，传统依靠人为经验的网络运维已无法适用。网络验证技术通过对网络的拓扑、配置、流量等状态进行形式化建模和精确仿真，可自动化的生成、验证、修复网络，确保网络可靠性。网络验证已成为大型云厂商、运营商、互联网公司不可或缺的关键技术，具有极大研究和应用价值。
NetFun 可编程网络
可编程网络利用软件定义网络（SDN）等技术，对网络行为的灵活编程控制，动态调整网络资源和策略，可有效提高网络的灵活性，加速网络体系结构的演进步伐。
NetPerf 传输性能优化
网络传输性能优化旨在降低延迟、提高带宽利用率，并提升数据传输效率。通过流量管理、传输控制和智能调度等技术，减少拥塞和数据丢失，增强网络稳定性和响应速度。研究该领域有助于构建高效能网络，满足现代应用对高速通信的需求。