Postdoctoral Researchers

Dr. Ioannis Markoulis, Dept. of Computer Science, University of Cyprus, 2020-2022; Supervisor.
Research topic: Towards an Efficient and Self-Stabilizing Byzantine Fault-Tolerant Blockchain Infrastructure
(Funded by the ONISILIOS postdoctoral funding scheme of the University of Cyprus.)

Doctoral Students

Supervision

Antria Trigeorgi, Dept. of Computer Science, University of Cyprus (status: full time); Supervisor.
Topic: Implementing a Highly Robust and Strongly Consistent Storage System with Provable Guarantees
Giorgos Demosthenous, Dept. of Computer Science, University of Cyprus (status: full time); Supervisor.
Topic: Utilizing Reinforcement Learning for On-Chain Portfolio Optimization
Natalie Temene, Dept. of Computer Science, University of Cyprus, 2016-2022; co-Supervisor (with Vasos Vassiliou).
Thesis: Utilizing Mobile Nodes in Wireless Sensor Networks and IoT Networks
Ioannis Marcoulis, Dept. of Computer Science, University of Cyprus, 2012-2018; Supervisor.
Thesis: Self-stabilizing State Machine Replication in Static and Reconfigurable Asynchronous Message-Passing Systems
Theophanis Hadjistasi , Dept. of Computer Science and Engineering, University of Connecticut, 2017 - 2019; Associate advisor (supervisor: Alex A. Schwarzmann).
Thesis: Memory Access Efficiency in Distributed Atomic Object Implementations
Nicolas Nicolaou, Dept. of Computer Science and Engineering, University of Connecticut, 2006 - 2011; Associate advisor (supervisor: Alex A. Shvartsman).
Thesis: Trade-Offs in Implementing Consistent Distributed Storage

Evaluation Committee

Xavier Araújo Morgado Vilaça, Departamento de Engenharia Informática, Instituto Superior Técnico (IST), Universidade de Lisboa, Portugal, 2016; Committee (Jury) Member (supervisor: Luís E. T. Rodrigues).
Thesis: Sustaining Cooperation in Dependable Systems: a Game Theoretical Approach
Yvoni Pavlou, Dept. of Education, University of Cyprus, 2022; External Member of Evaluation Committee (supervisor: Zacharias Zacharia).
Thesis: Exploring the Impact of the Presence/Absence of Haptic Feedback on Preschoolers’ Science Learning when Experimenting with Physical and Virtual Manipulatives
Kyriaki Psara, Dept. of Computer Science, University of Cyprus, 2021; Chair of Evaluation Committee (supervisor: Anna Philippou).
Thesis: Reversible Computation in Petri Nets
Iacovos I. Ioannou, Dept. of Computer Science, University of Cyprus, 2021; Committee Member (supervisors: Andreas Pitsillides and Vasos Vassiliou).
Thesis: A Novel Distributed Artificial Intelligence Framework with Machine Learning for 5G/6G Communication
Christiana Ioannou, Dept. of Computer Science, University of Cyprus, 2017; Committee Member (supervisor: Vasos Vassiliou).
Thesis: MIDS: A Lightweight Intrusion Detection System for Wireless Sensor Networks
Charalambos Sergiou, Dept. of Computer Science, University of Cyprus, 2012; Committee Member (supervisor: Vasos Vassiliou).
Thesis: Performance-aware Congestion Control in WSNs Using Resource Control
Kyriakos Christou, Dept. of Electrical and Computer Engineering, University of Cyprus, 2012; External Member of Evaluation Committee (supervisor: Maria Michael).
Thesis: Path Delay Fault Testing for Digital VLSI Circuits Using Specialized Binary Decision Diagrams

Master Thesis Supervision (@UCY unless otherwise stated)

Andreas Neophytou, Front-end Interface for A Distributed Storage System using Laravel, June 2023; Supervisor.
Andreas N. Charalampous, Implementation, Validation and Experimental Evaluation of a Self-stabilizing Byzantine-tolerant Multivalued Consensus Algorithm, July 2022; Supervisor.
Michalis Kousiappas, Implementation, Validation and Experimental Evaluation of a Distributed Randomized Common Coin Algorithm, July 2022; Supervisor.
Constandinos Demetriou, Implementation, Validation and Experimental Evaluation of a Self-stabilizing Byzantine-tolerant Multivalued Consensus Algorithm, May 2022; Supervisor.
Lenos Christodoulou, Development and Deployment of an Online Ticketing System, May 2021; Supervisor.
Elena Theophanous, Virtual Coach: A Mobile Acceptance and Commitment Therapy App for Stress-related Problems, June 2020; Supervisor.
Giorgos Demosthenous, Machine Learning Approach to Predict Emotional Coping Using Psychophysiological Signals, May 2019; Supervisor.
This thesis was ranked 1st and was awarded €1500 at the Research Contest for "Students in Research" [ΦOITΩ-2019], organized by the Cyprus Research and Innovation Foundation.
Rafael Makrigiorgis, Development of a Mobile App for Managing a Secondary Education Institute, May 2019; Supervisor.
Axel Niklasson and Therese Petersson, Implementing Self-Stabilizing Byzantine Fault-Tolerant State Machine Replication: A Proof of Concept, Validation and Preliminary Evaluation, Chalmers University of Technology and University of Gothenburg, Sweden, June 2019; External Supervisor [ref].
Antria Trigiorgi, Knowledge Extraction from Psyphysiological Data and Comperative Evaluation of Machine Learning Algorithms, May 2018; Supervisor.
Kyriaki Chrystodoulou, Design and Development of GR-IRAP, May 2018; Supervisor.
Antonia Nicolaou, Implementation and Experimental Evaluation of the Mobile Congenstion Control Algorithm MobileCC+, April 2018; co-Supervisor (with Vasos Vassiliou).
Robert Gustafsson and Andreas Lindhe, Self-Stabilizing Services for Emulating Distributed Shared Memory on Message Passing Platforms, Chalmers University of Technology and University of Gothenburg, Sweden, June 2018; External Examiner [ref].
Christina Georgiou, Speficiation, Verification and Implementation of Fault-Tolerant Broadcast Algorithms using the Tempo Toolkit, June 2015; Supervisor.
Natalie Temene, Implementation and Visual Representation of a Fault-Tolerant Algorithm for Gathering Fat Crash-Prone Robots on the Plane, June 2015; Supervisor.
Despoina Vacana, Implementation and Experimental Evaluation of a Self-stabilizing Atomic Read/Write Register Service, June 2014; Supervisor.
Loizos Papadopoulos, Implementation and Empirical Evaluation of a Byzantine-tolerant Distribute Storage Algorithm, December 2012; Supervisor.
Marilena Demeti, Implementation and Experimental Evaluation of the Layered Data Replication Algorithm, December 2012; Supervisor.
Giannos Giakoumi, Implementation and Experimental Evaluation of an MPLS Algorithm Combining Fault-tolerance and Traffic Engineering, December 2012; co-Supervisor (with Vasos Vassiliou).
Evgenia Christoforou, Algorithmic Mechanisms for Reliable Internet-based Master-Worker Computing under Communication Uncertainty, June 2012; Supervisor.
Andreas Andreou, Implementation and Experimental Evaluation of Task-Computing Distributed Algorithms on YALPS, June 2012; Supervisor.
Constantina Spanoudi, Implementation and Experimental Evaluation of Asynchronous Gossip Algorithms, June 2011; Supervisor.
Christos Ploutarchou, Extending the IOA Compiler with TCP and Java-Sockets Communication Medium, June 2011; Supervisor.
Andreas Savva, Evaluation of Algorithms Implementing Multiple-Writer Multiple-Reader Atomic Registers on PlanetLab, August 2010; Supervisor.
Ioanna Savva, Implementation and Evaluation of an Algorithm for the Omni-Do Problem Using the Ensemble Group Communication Service, December 2009; Supervisor.
Maria Papa, Fault-tolerance and Traffic Engineering for MPLS Networks, June 2009; co-Supervisor (with Vasos Vassiliou).
Christina Koumourou, Design and Developement of a Web-based System for University Students Course Enrollement and Management, June 2008; Supervisor.
Styliani Nisiotou, Improving the Dependability and Performance of an Existing Distributed Data Management System under Constraints, June 2007; Supervisor.
Marina Gelastou, Formal Methods for Modeling and Verifying an Ad Hoc Network Protocol, June 2007; co-Supervisor (with Anna Philippou).

Bachelor Thesis Supervision (all@UCY)

Loukas Papalazarou, Implementation and Experimental Evaluation of Byzantine-Tolerant Distributed Sets, May 2023; Supervisor.
Marios Nicolaou, Implementation and Visual Representation of Byzantine-Tolerant Distributed Algorithms for the Atomic Appends Problem, May 2023; Supervisor.
Panagiotis Christodoulou, Feature Selection and Training of Neural Networks to Classify Functional versus Dysfunctional Coping with Acute Pain, May 2023; Supervisor.
Sotiris Zenios, Analysis of Real-time E4-based Psychophysiologiacal Data for Machine-Learning based Classification, May 2023; Supervisor.
Natalia Lambrou, Development of a Human-Resources Web-based Managment System of a High School Institute, May 2023; Supervisor.
Giorgos Evangelou, Implementation, Validation and Experimental Evaluation of a Self-stabilizing Byzantine Fault-Tolerant Atomic Broadcast Algorithm, May 2022; Supervisor.
Eleni Georgiou, Feature Selection and Training of Machine Learning Algorithms to Classify Functional versus Dysfunctional Coping with Acute Pain, May 2022; Supervisor.
Stelios Evagorou, Implementation and Visualization of the Ford Fulkerson Algorithm using the JavaFX Framework, May 2022; Supervisor.
Andreas Chrysanthou, Implementation of a Byzantine-Tolerant Distributed Ledger Algorithm using BFT-SMART, May 2022; Supervisor.
Leonidas Achilleos, A Review of Blockchain Consensus Algorithms, July 2021; Supervisor.
Vasilis Petrou, Implementation and Empirical Evaluation of a Randomized Byzantine Fault-Tolerant Distributed Algorithm, May 2021; Supervisor.
Georgios Papaioannou, Implementation and Empirical Evaluation of the HashGraph BFT Randomized Algorithm, May 2021; Supervisor.
Antrea Marouchou, Vizualization of Divide and Conquer Algorithms using Unity3D, May 2021; Supervisor.
Nicolas Zachariou, Dynamic Programming: An Experimental Analysis and Comparison of the Top-Down and Bottom-Up Approaches, January 2021; Supervisor.
Adamos Ttofari, CrowdBed: A Crowdsourcing System that Leverages on Blockchain Technology for Reliability and Decentralisation, June 2020; Supervisor.
Rafail Loizou, Trust and Reputation Mechanisms for the CrowdBED Platform, June 2020; Supervisor.
Loizos Marneros, Implentation and Experimental Evaluation of Distributed Ledger Algorithms using the DistAlgo Language, June 2020; Supervisor.
Nikolas Pafitis, Implementation of Self-Stabilizing BFT Using Go and ZeroMQ, June 2019; Supervisor.
Nikolas Tziorgis, Visualization of Basic Sequential Algorithms using Unity3D, June 2019; Supervisor.
Giorgos Panagiotou, Implementation and Experimental Evaluaiton of Distributed Ledger Algorithms Using ZeroMQ, June 2019; Supervisor .
Evangelos Papadopoulos, Patient Management System for the Center of Mental Health of the University of Cyprus: Data Management Module, June 2018; Supervisor.
Ioannis Aristidou, Implementation of a Self-Stabilizing Reconfiguration Algorithm using ZeroMQ, June 2018; Supervisor.
Georgios Moullotos, Design and Implementation of a Client-Server Synchronization Algorithm for an Online Pet Information Managing Service, June 2017; Supervisor.
This thesis was ranked 2nd and was awarded €800 at the Research Contest for "Students in Research" [ΦOITΩ-2017], organized by the Cyprus Research Promotion Foundation.
Giorgos Demosthenous, Prediction of Virality and Popularity of YouTube Videos on Twitter: Machine Learning Algorithms Analysis, June 2017; Supervisor.
Soteris Soteriou, A Linearizable Distributed File System and a Windows-based User Interface, June 2017; Supervisor.
Christoforos Galazis, Non-intrusive Physiological Wearable Devices for Identifying Individual Difference Parameters Using Supervised Classification Learning Algorithms, June 2017; Supervisor.
Antria Trigiorgi, A Study of Machine and Deep Learning Methods and their Application on Psychophysiological Markers in Stress Coping, June 2016; Supervisor.
Pantelis Stylianides, Visualization of Parallel Algorithms using Unity, June 2016; Supervisor.
Kyriakos Ioacovou, Simulation and Evaluation of Packet Scheduling Algorithms in the Presence of Jamming, June 2016; Supervisor.
Elias Spanos, An Implementation of a Distributed File System based on Atomic Read/Write Object Algorithms, June 2016; Supervisor.
Evangelos Nicolaou, System Development for Managing the Equipement of the Cyprus' National Guard: System Interface and Basic Documents, June 2015; Supervisor.
Kyriaki Chrystodoulou, A Comprehensive Study of the Max Flow Problem, June 2015; Supervisor.
Michaelina Argyrou, Specification and Implementation of the Distributed Weak-Snapshot Module of the Dynastore Storage System, June 2015; Supervisor.
Andreas Papandreou, Specification and Implementation of the Distributed Read/Write Module of the Dynastore Storage System, June 2015; Supervisor.
Antria Anastasiou, Implementation and Experimental Evaluation of Randomised Independent Set Parallel Algorithms on XMT, June 2015; Supervisor.
Antonia Nicolaou, Design, Implementation and Experimental Evaluation of Congestion Control Algorithms on Mobile Sensor Networks, June 2015; co-Supervisor (with Vasos Vassiliou).
Theofanis Hadjistasis, Implementing and Evaluating Robust Do-All Algorithms using YALPS, June 2014; Supervisor.
Chariklia Zachariadi, Implementing and Evaluating Connected Components Parallel Algorithms on XMT, June 2014; Supervisor.
Thea Tranta, Implementing and Evaluating a Dynamic Task Scheduling Algorithm using YALPS, June 2014; Supervisor.
Sotia Ioannou, Specifying and Evaluating a Distributed File System using Tempo, June 2014; Supervisor.
Christina Georgiou, Specification and Evaluation of Timed Leader Election Distributed Algorithms with the Tempo Toolkit, June 2013; Supervisor.
Popi Christopoulou, A Bibliographic Study: Fault-Tolerance in Content Distribution Networks, June 2013; Supervisor.
Natalie Temene, Implementation and Graphical Animation of a Distributed Algorithm for Gathering Mobile Robots in the Plane, June 2013; Supervisor.
Iosif Ioannou, Empirical Evaluation of an MPLS Network-coding Algorithm, June 2013; Supervisor.
Panagiota Demou, The Impact of Social Networks on the Performance of Content Distribution Networks, June 2013; co-Supervisor (with George Pallis).
Marios Papachristodoulou, Specification and Simulation of Timed Mutual Exclusion Distributed Algorithms with the Tempo Toolkit, June 2012; Supervisor.
Efstathios Ioakim, Simulation and Experimental Evaluation of Robust Parallel Algorithms on the XMT Platform, June 2012; Supervisor.
Georgios Christodoulou, Study and Analysis of the Impact of Twitter on YouTube Video Diffusion, June 2012; co-Supervisor (with George Pallis).
Emily Kaprou, Automating the KYSATS Evaluation Procedure for Certifying Academic Degrees, June 2012; co-Supervisor (with George Pallis).
Chrystalla Sofocleous, Implementation and Experimental Evaluation of Gossiping Algorithms with GossipLib and YALPS, June 2011; Supervisor.
Elli Zavou, Design and Analysis of CDN Algorithms with Multiple Origin Servers, June 2011; co-Supervisor (with George Pallis).
Nicos Demetriou, Simulation and Experimental Evaluation of CDN Algorithms with Multiple Origin Servers, June 2011; co-Supervisor (with George Pallis).
Maria Stylianou, Implementation and Experimental Evaluation of a MWMR Atomic Register Service, June 2011; Supervisor.
Eleni Skitidou, Graphical Representation of Robust Parallel Algorithms using JavaSwing, June 2011; Supervisor.
Andreas Hatzidemetriou, Implementation and Experimental Evaluation of Parallel Algorithms using MPICH2, December 2010; Supervisor.
Eleni Panteli, Simulation and Evaluation of Basic Parallel Algorithms on the XMT Platform, June 2010; Supervisor.
Evgenia Christoforou, Mechanisms for Reliable Master-Worker Internet-based Computing, June 2009; Supervisor.
Antigoni Hadjidemetriou, Implementation and Experimental Evaluation of the Atomic Read/Write Object Algorithm SLIQ, June 2009; Supervisor.
Margarita Antonaki, Implementation and Empirical Evaluation of Efficient Parallel Algorithms Using PUBSP, June 2009; Supervisor.
Panagiota Nicolaou, Simulation and Experimental Evaluation of Robust Parallel Algorithms in the SB-PRAM Model, June 2009; Supervisor.
Stefanos Mattei, Specification and Simulation of the AOMDV Routing Algorithm for Ad-Hoc Networks using the TIOA Toolkit, June 2008; Supervisor.
Giorgos Loutsios, Searching for a Black Hole in Computer Networks, June 2008; Supervisor.
Haris Loukas, Implementation and Performance Evaluation of a Read/Write Atomic Shared Memory Algorithm on PlanetLab, June 2008; Supervisor.
Demetris Constantinou, Specification and Automated Implementation of a Leader-Election Algorithm for Mobile Ad Hoc Networks, June 2007; Supervisor.
This thesis was ranked 5th and was awarded £3000 at the Research Contest for Undergraduate Students of Cypriot Universities (PRO-FOIT 2007), organized by the Cyprus Research Promotion Foundation.
Prodormos Alambritis, A Survey on Grid Dependability, June 2007; Supervisor.
Pantelis Vladimirou, Application-based Performance Evaluation of PlanetLab, June 2007; Supervisor.
Maria Papa, Implementation and Performance Evaluation of a Fault-tolerant Hybrid MPLS Algorithm, June 2007; co-Supervisor (with Vasos Vassiliou).
Nicholas Hadziprokopiou, Implementation of a General Communication Platform for Dynamic Distributed Systems, June 2006; Supervisor.
This thesis received a Honorary Mention and was awarded £500 at the Research Contest for Undergraduate Students of Cypriot Universities (PRO-FOIT 2006), organized by the Cyprus Research Promotion Foundation.
Prokopis Hadziprokopiou, Automated Implementation of the Paxos Algorithm using the IOA Toolkit, June 2006; Supervisor.
Pantelis Loizou, Implementation and Experimental Evaluation of Parallel Algorithms using the Fork95 Programming Language, June 2006; Supervisor.
Maria Hadjiona, Design and Analysis of a Fault-Tolerant Algorithm for MPLS Networks, June 2006; co-Supervisor (with Vasos Vassiliou).
Georgia Dionisiou, Evaluation of Label Distribution Protocols in Different MPLS Network Topologies, June 2006; co-Supervisor (with Vasos Vassiliou).
Marhta Wright, Implementation of Two Algorithms for Computing Pure Nash Equilibria in the KP Network Model, June 2006; co-Supervisor (with Anna Philippou).