CS Other Presentations

Department of Computer Science - University of Cyprus

Besides Colloquiums, the Department of Computer Science at the University of Cyprus also holds Other Presentations (Research Seminars, PhD Defenses, Short Term Courses, Demonstrations, etc.). These presentations are given by scientists who aim to present preliminary results of their research work and/or other technical material. Other Presentations serve as a forum for educating Computer Science students and related announcements are disseminated to the Department of Computer Science (i.e., the csall list):

RSS Directions

Presentations Coordinator: Demetris Zeinalipour

PhD Defense: Self-Stabilizing State Machine Replication in Static and Reconfigurable Asynchronous Message-Passing Systems, Mr. Ioannis Marcoullis (University of Cyprus, Cyprus), Wednesday, July 4, 2018, 10.00-11.00 EET.

The Department of Computer Science at the University of Cyprus cordially invites you to the PhD Defense entitled:

Self-Stabilizing State Machine Replication in Static and Reconfigurable Asynchronous Message-Passing Systems

Abstract:
Distributed Computing has employed the State Machine Replication (SMR) method to guarantee consistency among several copies of a -possibly dynamic- distributed object. Two established paradigms providing SMR are Consensus and Virtual Synchrony (VS). Consensus-based SMR algorithms that tolerate Byzantine failures are nowadays used as an alternative to Proof-of-Work in blockchain infrastructure, whereas VS-based SMR is directed towards high-speed cloud services. Systems implementing SMR provide guarantees based on assumptions like bounded churn rates, bounded replica failures, and failure-free probabilistic error detection. Even a temporary violation of these assumption or a soft-error, can lead to the corruption of local variables and program counters, leaving the system unavailable in an arbitrary state. Self-stabilization enhances existing fault-tolerant systems to allow them to automatically recover from such failures. We will present self-stabilizing algorithmic solutions with proven guarantees to several SMR-related problems. In particular, we present self-stabilizing solutions to VS-based and consensus-based SMR for both static and dynamic systems, and in the presence of crash and Byzantine failures.

Short Bio:
Ioannis C. Marcoullis is a PhD candidate at the Department of Computer Science under the supervision of Associate Professor Chryssis Georgiou, and is a member of the Foundations of Computing Systems and Theoretical Computer Science Laboratory. His research interests lie in the area of Fault Tolerance in Distributed Computing with special focus on Self-Stabilization. He presented his published research work in international conferences (receiving an ACM travel grant to this end), and has served as a reviewer of several papers for different conferences and journals in the area of Distributed Computing. During his doctoral studies he has twice received doctoral scholarships by the University of Cyprus. He holds a BSc in Mathematics from the University of Manchester and a MSc in Computer Science from the University of Bristol.

	Other Presentations Web: https://www.cs.ucy.ac.cy/colloquium/presentations.php
	Colloquia Web: https://www.cs.ucy.ac.cy/colloquium/
	Calendar: https://www.cs.ucy.ac.cy/colloquium/schedule/cs.ucy.pres.2018.marcoullis.ics