Francis Leung, Ph.D.
Industry Professor of Computer Science
Stuart Building 226B
Research & Accomplishments
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.