Ioannis Marcoullis
Currently holding a postdoctoral research grant from the University of Cyprus, and working on Efficient and Self-Stabilizing Byzantine Fault Tolerance. I am a member of the Foundations of Computing Systems and Theoretical Computer Science Laboratory.
Research Interests
- Distributed algorithms and complexity analysis
- Fault tolerance in distributed computing with special focus on self-stabilization
Education
PhD in Computer Science
University of Cyprus, Sept. 2012 – Jul. 2018Thesis title: Self-stabilizing State Machine Replication in Static and Reconfigurable Asynchronous Message-Passing Systems.
Supervisor: Associate Professor Chryssis Georgiou
MSc in Computer Science
University of Bristol, UK, Sept. 2010 – Sept. 2011Thesis title: Practical verification of an algorithm for Microarray Border Minimisation.
Supervisor: Prof. Bogdan Warinschi
BSc (Hons) in Mathematics
University of Manchester, UK, Sept. 2007 – Jul. 2010Teaching
EPL 002 – Introduction to Computer Science (Spring 2019)
EPL 032 – Programming Methods for Problem Solving (with Python) (Spring 2020)
EPL 111 – Discrete Structures in Computer Science and Computation (Fall 2019)
EPL 231 – Data Structures and Algorithms (Spring 2020)
EPL 236/336 – Algorithms and Complexity (Fall 2018)
EPL 211 – Theory of Computation and Complexity (Spring 2015, Fall 2016,2017)
EPL 236/336 – Algorithms and Complexity (Springs 2014-2018, Fall 2015)
EPL 432 – Distributed Algorithms (Fall 2013)
Publications
- Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, and Elad M. Schiller, Self-stabilizing Byzantine Tolerant Replicated State Machine Based on Failure Detectors, Proc. of the 2nd International Symposium on Cyber Security Cryptography and Machine Learning (CSCML 2018), pp. 84-100, Be'er Sheva, Israel, 2018.
- Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, and Elad M. Schiller, Practically-Self-Stabilizing Virtual Synchrony. Journal of Computer and System Sciences, 2018. https://doi.org/10.1016/j.jcss.2018.04.003
- Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, and Elad M. Schiller, Self-stabilizing Reconfiguration, Proc. of the 5th International Conference on Networked Systems (NETYS 2017), pp. 51-68, Marrakech, Morocco, 2017. A technical report of this work in arXiv:1606.00195.
- Ioannis Marcoullis, Self-stabilizing Middleware Services, Proc. of the Doctoral Symposium of the 17th International Middleware Conference, Article 2, Trento, Italy, 2016.
- Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, and Elad M. Schiller, Poster Abstract: Self-stabilizing Reconfiguration, Proceedings of the Posters and Demos Session of the 17th International Middleware Conference., pp. 13-14, Trento, Italy, 2016.
- Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, and Elad M. Schiller, Self-stabilizing Virtual Synchrony, Proc. of the 17th International Symposium on Stabilization, Safety and Security of Distributed Systems (SSS 2015), pp. 248-264, Edmonton, Canada, 2015. A technical report of this work in arXiv:1502.05183.
- Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, and Elad M. Schiller, Brief Announcement: Self-stabilizing Virtual Synchrony, Proc. of the 29th International Symposium on Distributed Computing (DISC 2015). pp. 655-656, Tokyo, Japan, 2015.
Contact
University of Cyprus,
75 Kallipoleos Str., P.O. Box 20537,
Email: imarcoullis (at) cs (dot) ucy (dot) ac (dot) cy