Industry Professor of Computer Science
Office: Stuart Building 228C
Web: click here
Research & Major 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.
Professional Society Memberships
Editorial Board Service
Professional Society Service