Research 研究方向
研究组主要研究网络验证、可编程网络和拥塞控制，致力于提升网络的可靠性和性能，确保网络的安全性、灵活性和高效的数据传输。
NetVerify 网络验证
网络验证旨在确保网络配置和行为符合预期标准，避免潜在错误。随着网络复杂性增加，验证技术成为关键，能够自动检测和修复故障，提升网络可靠性和安全性。研究此领域有助于开发更高效的验证工具，提高网络运营效率。
NetFun 可编程网络
可编程网络通过软件定义网络（SDN）等技术，实现对网络行为的灵活控制。它允许网络管理员动态调整网络资源和策略，增强网络适应性和创新性。研究其架构和应用可以推动网络技术的快速发展，满足多样化需求。
NetPerf 拥塞控制
拥塞控制关注于优化数据流动，防止网络过载导致性能下降。随着数据传输量的持续增长，研究高效的拥塞控制算法至关重要。此领域的进展能提高网络传输效率，降低延迟，为用户提供更稳定的网络体验。