Distributed Systems

Research Frontiers in Distributed Systems Verification and Model Checking

Developing formal verification techniques and automated model checking tools for verifying correctness properties of complex distributed algorithms and protocols.

All Distributed Systems PhD categories