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.