Ioannis Marcoullis

PhD in Computer Science

University of Cyprus, Sept. 2012 – Jul. 2018
Thesis 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. 2011
Thesis 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. 2010

I have been a Visiting Lecturer with the University of Cyprus during the Fall 2019 and Spring 2020 semesters, and a teaching collaborator during Fall 2018 and Spring 2019.

In the past recent years I have taught the following courses:

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)

I was also a teaching assistant in the following undergraduate courses,

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)

Also on DBLP.

1. 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.
2. 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
3. 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.
4. Ioannis Marcoullis, Self-stabilizing Middleware Services, Proc. of the Doctoral Symposium of the 17th International Middleware Conference, Article 2, Trento, Italy, 2016.
5. 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.
6. 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.
7. 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.