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.
New book announcement — Android 3 SDK Programming For Dummies by Ramnath, Crawfis, and Sivilotti is now available. See this page for details.