Francis Leung
- Industry Professor of Computer Science
Research Interests
Software Engineering: (1) Can we add new functionality without changing existing code? (2) Can we verify software automatically based on assertions instead of case-by-case testing?
Networking: Multicast protocols and autonomic (self-optimizing, etc.) protocols.