Cloud Distributed Computing

Research Frontiers in Distributed Testing and Verification of Consensus Protocols

Research on formal methods and automated testing frameworks for verifying correctness and detecting subtle bugs in distributed consensus implementations.

All Cloud & Distributed Computing PhD categories