Current Projects:

• Symbolic NS-3
• Efficient and Verifiable TCP
• FPGA-Based Network Protocols

Past Projects:

• Bandwidth Estimation in Cloud networks
• Network Protocol Testing through Symbolic Exploration of Packet Dynamics
  
• TCP Congestion Control Census
• Stochastic TCP Friendliness
• Traditional TCP Friendliness
• Multi-View P2P Streaming
• BIC/CUBIC TCP for Highspeed Networks
• Optical Burst Switching