My CV is available here.
My research focuses on tools and techniques for developing high-confidence distributed software. I am particularly interested in the challenges posed by loosely-coupled distributed systems. Important design goals for such systems include security, robustness, reliability, and (re)configurability. Achieving these goals, however, is often frustrated by properties that are inherent in loosely-coupled systems: partial synchrony, partial failure, and dynamic assembly. My research addresses these challenges by investigating tools, algorithms, and formal methods necessary for supporting the component-based development of such systems.