Research 研究方向
团队目前有4个研究方向：网络验证、可编程网络、传输性能优化、可解释人工智能。可点击图标查看详细介绍。
NetVerify 网络验证
随着网络规模和复杂度的增加，特别是大规模训练集群的出现，传统依靠人为经验的网络运维已无法适用。网络验证技术通过对网络的拓扑、配置、流量等状态进行形式化建模和精确仿真，可自动化的生成、验证、修复网络，确保网络可靠性。网络验证已成为大型云厂商、运营商、互联网公司不可或缺的关键技术，具有极大研究和应用价值。
NetFun 可编程网络
可编程网络利用软件定义网络（SDN）等技术，对网络行为的灵活编程控制，动态调整网络资源和策略，可有效提高网络的灵活性，加速网络体系结构的演进步伐。
NetPerf 传输性能优化
网络传输性能优化旨在降低延迟、提高带宽利用率，并提升数据传输效率。通过流量管理、传输控制和智能调度等技术，减少拥塞和数据丢失，增强网络稳定性和响应速度。研究该领域有助于构建高效能网络，满足现代应用对高速通信的需求。
XAI 可解释人工智能
可解释人工智能的核心目标是提升AI系统的透明度和可信度。通过可视化分析、特征归因、决策路径追踪等创新技术，深入解析模型的推理机制，有效破解传统AI"黑箱"难题。这些研究在医疗诊断、金融风控、自动驾驶等高价值应用场景中具有关键意义，能够确保AI决策过程符合公平性、合规性和可追溯性要求。