| David
Lee--Main Science Contributions |
David Lee's contributions in recent
years 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.
6. Developed polynomial time algorithms for protocol
pruning and network gateway synthesis, and applied them to real
complex protocols such as TCP/IP and ATM protocols with a run
time of only a few minutes, while it was impossible for the previous
exponential time algorithms.
7. Provided formal specifications of ATM protocols
and contributed to ATM Forum. Analyzed the correctness and performance
of and also generated test sequences for ATM traffic management
protocol.
- All-optical network protocol and software system design
and implementations
1. Applied optimization, game theory and code
theory to all-optical network light path protection and restoration
to significantly increase the efficiency and reliability.
2. ONMP (Optical Network Management Protocol),
a management protocol system for Lucent Lambda Router networks.
It is one of the first working system in the industry for light
path provisioning with the following functions:
(i) Light path computation;
(ii) Light path setup and teardown;
(iii) Shared light path protection and restoration;
(iv) Automatic neighbor and resource discovery;
(v) Distributed signaling system;
(vi) Automated fault management.
3. Invented a new signaling protocol - Lazy Flooding
- to prevent or reduce the congestion in the signaling network
to improve the performance, reliability and scalability of the
all-optical networks.
- Communication protocol system design, analysis, integration,
interface, reliability and test automation in basic research and
industrial applications
1. Advanced the theory of testing of finite state
machines and solved several fundamental problems in the area that
had been open for decades (with Yannakakis): state identification
(distinguishing sequence), state verification (UIO sequence),
and checking experiments (checking sequences of polynomial length).
2. Designed and implemented a new algorithm for
integrated system minimization to deal with the well-known state
explosion problem. It is applied to integrated system validation
and interoperability testing for real systems, including LMP/GMPLS.
3. Extended the theory of testing finite state
machines to communicating, extended and parameterized finite state
machines with timers so that techniques developed in the formal
methods area can be applied to industrial systems. To cope with
the well-known state explosion problem in protocol system analysis
developed a polynomial time algorithm for transition system on-line
minimization without state explosion.
4. Implemented the above test generation methods,
built an automated test generation software tool PYTHIA, and applied
the generated tests to industrial network systems such as VoIP,
AT&T 5ESS,
5ESS based wireless ISDN systems, PHS, HFC, and ATM protocols.
5. Designed a new transport protocol for network
connection management and proved its correctness.
6. Formalized protocol feature interaction problem
and provided efficient algorithms for the feature interaction
detection.
7. Pioneered new approaches of passive testing
for network management, and extended the theory and applications
from protocol control portion to data portions.
- Also made contributions in the areas of image processing,
theoretical computer science, applied mathematics, and logic circuit
design.
|
|
