David Lee's contributions before
2004 include (for details see the selected
publication list):
- Data networking and next generation Internet
protocol systems
1. IPv6 edge router prototype with optical and wireless
interfaces.
2. Software system for network protocol system interoperability
testing: ITIS (Interoperability Testing Intelligent System).
This effort pioneered the work of integrated system interoperability
testing using formal methods, initiated a mathematical model,
developed efficient algorithms for the test generation,
built a software system ITIS, and applied the automatically
generated test sequences to VoIP (Voice over IP), including
H.323 and Q.931, and other communication systems. A paper
published based on this project won the Best Paper Award
of PSTV-FORTE'2000, the authoritative international conference
on formal methods.
3. Developed a new signaling protocol to prevent or reduce
the congestion in the signaling network of the Internet.
Provided a practical solution to cope with the well-known
OSPF LSA N-squared problem, which caused Internet congestion.
4. Designed a deadlock and livelock free protocol for lossless
and backpressured packet networks, including the Gigabit
Ethernet.
5. Software system SOCRATES for testing the routing protocols
of IP routers, initiated a mathematical model, developed
efficient algorithms for the test generation and execution,
and applied them to test IP routing protocols, including
RIP, OSPF and BGP.
|
