and methods in distributed systems. The research will explore how distributed computing principles can be applied across diverse... and verification. The Ph.D. student will work in an interdisciplinary environment at the intersection of distributed systems, graph...