Tuesday, September 30, 2014
David R. Cheriton School of Computer Science PhDÌý³¦²¹²Ô»å¾±»å²¹³Ù±ð, FathiyehÌýFaghih (Borzoo Bonakdarpour), has been awarded the best student paper for her work on "SMT-based Synthesis of Distributed Self-stabilizing Protocols", at theÌý16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (), in Paderborn, Germany.
SSS is an international forum for researchers and practitioners in the design and development of distributed systems andÌýis one of the prime venues for distributed algorithms with special focus on self-stabilization.Ìý