Dr. Paul Sivilotti

Dr. Paul Sivilotti

Associate Professor
Associate Chair, Academic Operations
Computer Science and Engineering

CV

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.

• Contact
  How to get a hold of me.
• Research
  Papers, talks, posters, interests.
• Students
  Members of the research group, past and present.
• Teaching
  Courses, seminars.