Postdoctoral Researchers

Doctoral Students

  Supervision
  1. 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
  2. Giorgos Demosthenous, Dept. of Computer Science, University of Cyprus (status: full time); Supervisor.
    Topic: Utilizing Reinforcement Learning for On-Chain Portfolio Optimization
  3. Irene Kyriacou, Dept. of Computer Science, University of Cyprus (status: part time); Supervisor.
    Topic: Autonomous Navigation of Collaborating UAVs in GPS-denied Environments
  4. 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
  5. 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
  6. 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
  7. 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
  1. 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
  2. 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
  3. Kyriaki Psara, Dept. of Computer Science, University of Cyprus, 2021; Chair of Evaluation Committee (supervisor: Anna Philippou).
    Thesis: Reversible Computation in Petri Nets
  4. 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
  5. 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
  6. 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
  7. 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)

  1. Irene Kyriacou, Simulation Software for Autonomous Navigation of UAVs in GPS-denied Environments, June 2024; Supervisor.
  2. Andreas Neophytou, Front-end Interface for A Distributed Storage System using Laravel, June 2023; Supervisor.
  3. Andreas N. Charalampous, Implementation, Validation and Experimental Evaluation of a Self-stabilizing Byzantine-tolerant Multivalued Consensus Algorithm, July 2022; Supervisor.
  4. Michalis Kousiappas, Implementation, Validation and Experimental Evaluation of a Distributed Randomized Common Coin Algorithm, July 2022; Supervisor.
  5. Constandinos Demetriou, Implementation, Validation and Experimental Evaluation of a Self-stabilizing Byzantine-tolerant Multivalued Consensus Algorithm, May 2022; Supervisor.
  6. Lenos Christodoulou, Development and Deployment of an Online Ticketing System, May 2021; Supervisor.
  7. Elena Theophanous, Virtual Coach: A Mobile Acceptance and Commitment Therapy App for Stress-related Problems, June 2020; Supervisor.
  8. 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.

  9. Rafael Makrigiorgis, Development of a Mobile App for Managing a Secondary Education Institute, May 2019; Supervisor.
  10. 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].
  11. Antria Trigiorgi, Knowledge Extraction from Psyphysiological Data and Comperative Evaluation of Machine Learning Algorithms, May 2018; Supervisor.
  12. Kyriaki Chrystodoulou, Design and Development of GR-IRAP, May 2018; Supervisor.
  13. Antonia Nicolaou, Implementation and Experimental Evaluation of the Mobile Congenstion Control Algorithm MobileCC+, April 2018; co-Supervisor (with Vasos Vassiliou).
  14. 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].
  15. Christina Georgiou, Speficiation, Verification and Implementation of Fault-Tolerant Broadcast Algorithms using the Tempo Toolkit, June 2015; Supervisor.
  16. Natalie Temene, Implementation and Visual Representation of a Fault-Tolerant Algorithm for Gathering Fat Crash-Prone Robots on the Plane, June 2015; Supervisor.
  17. Despoina Vacana, Implementation and Experimental Evaluation of a Self-stabilizing Atomic Read/Write Register Service, June 2014; Supervisor.
  18. Loizos Papadopoulos, Implementation and Empirical Evaluation of a Byzantine-tolerant Distribute Storage Algorithm, December 2012; Supervisor.
  19. Marilena Demeti, Implementation and Experimental Evaluation of the Layered Data Replication Algorithm, December 2012; Supervisor.
  20. Giannos Giakoumi, Implementation and Experimental Evaluation of an MPLS Algorithm Combining Fault-tolerance and Traffic Engineering, December 2012; co-Supervisor (with Vasos Vassiliou).
  21. Evgenia Christoforou, Algorithmic Mechanisms for Reliable Internet-based Master-Worker Computing under Communication Uncertainty, June 2012; Supervisor.
  22. Andreas Andreou, Implementation and Experimental Evaluation of Task-Computing Distributed Algorithms on YALPS, June 2012; Supervisor.
  23. Constantina Spanoudi, Implementation and Experimental Evaluation of Asynchronous Gossip Algorithms, June 2011; Supervisor.
  24. Christos Ploutarchou, Extending the IOA Compiler with TCP and Java-Sockets Communication Medium, June 2011; Supervisor.
  25. Andreas Savva, Evaluation of Algorithms Implementing Multiple-Writer Multiple-Reader Atomic Registers on PlanetLab, August 2010; Supervisor.
  26. Ioanna Savva, Implementation and Evaluation of an Algorithm for the Omni-Do Problem Using the Ensemble Group Communication Service, December 2009; Supervisor.
  27. Maria Papa, Fault-tolerance and Traffic Engineering for MPLS Networks, June 2009; co-Supervisor (with Vasos Vassiliou).
  28. Christina Koumourou, Design and Developement of a Web-based System for University Students Course Enrollement and Management, June 2008; Supervisor.
  29. Styliani Nisiotou, Improving the Dependability and Performance of an Existing Distributed Data Management System under Constraints, June 2007; Supervisor.
  30. 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)

  1. Eliada Polydorou, Predictive Modeling for the Digital Asset Markets: Feature Selection and Comparative Analysis of Machine Learning Algorithms , May 2024; Supervisor.
  2. Grigoris Michael, Machine Learning Based Management and Statistical Analysis of Data Collected from a Plant Phenotyping Platform, May 2024; Supervisor.
  3. Ioulianos Christou, Exploring Different Methods For Annotating Real-Time E4- Based Psychophysiological Data Using Semi-Supervised Machine-Learning, May 2024; Supervisor.
  4. Stavros Hadjikostis, Developement of a Web-based Information Platform for a High School Institute, May 2024; Supervisor.
  5. Loukas Papalazarou, Implementation and Experimental Evaluation of Byzantine-Tolerant Distributed Sets, May 2023; Supervisor.
  6. Marios Nicolaou, Implementation and Visual Representation of Byzantine-Tolerant Distributed Algorithms for the Atomic Appends Problem, May 2023; Supervisor.
  7. Panagiotis Christodoulou, Feature Selection and Training of Neural Networks to Classify Functional versus Dysfunctional Coping with Acute Pain, May 2023; Supervisor.
  8. Sotiris Zenios, Analysis of Real-time E4-based Psychophysiologiacal Data for Machine-Learning based Classification, May 2023; Supervisor.
  9. Natalia Lambrou, Development of a Human-Resources Web-based Managment System of a High School Institute, May 2023; Supervisor.
  10. Giorgos Evangelou, Implementation, Validation and Experimental Evaluation of a Self-stabilizing Byzantine Fault-Tolerant Atomic Broadcast Algorithm, May 2022; Supervisor.
  11. Eleni Georgiou, Feature Selection and Training of Machine Learning Algorithms to Classify Functional versus Dysfunctional Coping with Acute Pain, May 2022; Supervisor.
  12. Stelios Evagorou, Implementation and Visualization of the Ford Fulkerson Algorithm using the JavaFX Framework, May 2022; Supervisor.
  13. Andreas Chrysanthou, Implementation of a Byzantine-Tolerant Distributed Ledger Algorithm using BFT-SMART, May 2022; Supervisor.
  14. Leonidas Achilleos, A Review of Blockchain Consensus Algorithms, July 2021; Supervisor.
  15. Vasilis Petrou, Implementation and Empirical Evaluation of a Randomized Byzantine Fault-Tolerant Distributed Algorithm, May 2021; Supervisor.
  16. Georgios Papaioannou, Implementation and Empirical Evaluation of the HashGraph BFT Randomized Algorithm, May 2021; Supervisor.
  17. Antrea Marouchou, Vizualization of Divide and Conquer Algorithms using Unity3D, May 2021; Supervisor.
  18. Nicolas Zachariou, Dynamic Programming: An Experimental Analysis and Comparison of the Top-Down and Bottom-Up Approaches, January 2021; Supervisor.
  19. Adamos Ttofari, CrowdBed: A Crowdsourcing System that Leverages on Blockchain Technology for Reliability and Decentralisation, June 2020; Supervisor.
  20. Rafail Loizou, Trust and Reputation Mechanisms for the CrowdBED Platform, June 2020; Supervisor.
  21. Loizos Marneros, Implentation and Experimental Evaluation of Distributed Ledger Algorithms using the DistAlgo Language, June 2020; Supervisor.
  22. Nikolas Pafitis, Implementation of Self-Stabilizing BFT Using Go and ZeroMQ, June 2019; Supervisor.
  23. Nikolas Tziorgis, Visualization of Basic Sequential Algorithms using Unity3D, June 2019; Supervisor.
  24. Giorgos Panagiotou, Implementation and Experimental Evaluaiton of Distributed Ledger Algorithms Using ZeroMQ, June 2019; Supervisor .
  25. Evangelos Papadopoulos, Patient Management System for the Center of Mental Health of the University of Cyprus: Data Management Module, June 2018; Supervisor.
  26. Ioannis Aristidou, Implementation of a Self-Stabilizing Reconfiguration Algorithm using ZeroMQ, June 2018; Supervisor.
  27. 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.

  28. Giorgos Demosthenous, Prediction of Virality and Popularity of YouTube Videos on Twitter: Machine Learning Algorithms Analysis, June 2017; Supervisor.
  29. Soteris Soteriou, A Linearizable Distributed File System and a Windows-based User Interface, June 2017; Supervisor.
  30. Christoforos Galazis, Non-intrusive Physiological Wearable Devices for Identifying Individual Difference Parameters Using Supervised Classification Learning Algorithms, June 2017; Supervisor.
  31. Antria Trigiorgi, A Study of Machine and Deep Learning Methods and their Application on Psychophysiological Markers in Stress Coping, June 2016; Supervisor.
  32. Pantelis Stylianides, Visualization of Parallel Algorithms using Unity, June 2016; Supervisor.
  33. Kyriakos Ioacovou, Simulation and Evaluation of Packet Scheduling Algorithms in the Presence of Jamming, June 2016; Supervisor.
  34. Elias Spanos, An Implementation of a Distributed File System based on Atomic Read/Write Object Algorithms, June 2016; Supervisor.
  35. Evangelos Nicolaou, System Development for Managing the Equipement of the Cyprus' National Guard: System Interface and Basic Documents, June 2015; Supervisor.
  36. Kyriaki Chrystodoulou, A Comprehensive Study of the Max Flow Problem, June 2015; Supervisor.
  37. Michaelina Argyrou, Specification and Implementation of the Distributed Weak-Snapshot Module of the Dynastore Storage System, June 2015; Supervisor.
  38. Andreas Papandreou, Specification and Implementation of the Distributed Read/Write Module of the Dynastore Storage System, June 2015; Supervisor.
  39. Antria Anastasiou, Implementation and Experimental Evaluation of Randomised Independent Set Parallel Algorithms on XMT, June 2015; Supervisor.
  40. Antonia Nicolaou, Design, Implementation and Experimental Evaluation of Congestion Control Algorithms on Mobile Sensor Networks, June 2015; co-Supervisor (with Vasos Vassiliou).
  41. Theofanis Hadjistasis, Implementing and Evaluating Robust Do-All Algorithms using YALPS, June 2014; Supervisor.
  42. Chariklia Zachariadi, Implementing and Evaluating Connected Components Parallel Algorithms on XMT, June 2014; Supervisor.
  43. Thea Tranta, Implementing and Evaluating a Dynamic Task Scheduling Algorithm using YALPS, June 2014; Supervisor.
  44. Sotia Ioannou, Specifying and Evaluating a Distributed File System using Tempo, June 2014; Supervisor.
  45. Christina Georgiou, Specification and Evaluation of Timed Leader Election Distributed Algorithms with the Tempo Toolkit, June 2013; Supervisor.
  46. Popi Christopoulou, A Bibliographic Study: Fault-Tolerance in Content Distribution Networks, June 2013; Supervisor.
  47. Natalie Temene, Implementation and Graphical Animation of a Distributed Algorithm for Gathering Mobile Robots in the Plane, June 2013; Supervisor.
  48. Iosif Ioannou, Empirical Evaluation of an MPLS Network-coding Algorithm, June 2013; Supervisor.
  49. Panagiota Demou, The Impact of Social Networks on the Performance of Content Distribution Networks, June 2013; co-Supervisor (with George Pallis).
  50. Marios Papachristodoulou, Specification and Simulation of Timed Mutual Exclusion Distributed Algorithms with the Tempo Toolkit, June 2012; Supervisor.
  51. Efstathios Ioakim, Simulation and Experimental Evaluation of Robust Parallel Algorithms on the XMT Platform, June 2012; Supervisor.
  52. Georgios Christodoulou, Study and Analysis of the Impact of Twitter on YouTube Video Diffusion, June 2012; co-Supervisor (with George Pallis).
  53. Emily Kaprou, Automating the KYSATS Evaluation Procedure for Certifying Academic Degrees, June 2012; co-Supervisor (with George Pallis).
  54. Chrystalla Sofocleous, Implementation and Experimental Evaluation of Gossiping Algorithms with GossipLib and YALPS, June 2011; Supervisor.
  55. Elli Zavou, Design and Analysis of CDN Algorithms with Multiple Origin Servers, June 2011; co-Supervisor (with George Pallis).
  56. Nicos Demetriou, Simulation and Experimental Evaluation of CDN Algorithms with Multiple Origin Servers, June 2011; co-Supervisor (with George Pallis).
  57. Maria Stylianou, Implementation and Experimental Evaluation of a MWMR Atomic Register Service, June 2011; Supervisor.
  58. Eleni Skitidou, Graphical Representation of Robust Parallel Algorithms using JavaSwing, June 2011; Supervisor.
  59. Andreas Hatzidemetriou, Implementation and Experimental Evaluation of Parallel Algorithms using MPICH2, December 2010; Supervisor.
  60. Eleni Panteli, Simulation and Evaluation of Basic Parallel Algorithms on the XMT Platform, June 2010; Supervisor.
  61. Evgenia Christoforou, Mechanisms for Reliable Master-Worker Internet-based Computing, June 2009; Supervisor.
  62. Antigoni Hadjidemetriou, Implementation and Experimental Evaluation of the Atomic Read/Write Object Algorithm SLIQ, June 2009; Supervisor.
  63. Margarita Antonaki, Implementation and Empirical Evaluation of Efficient Parallel Algorithms Using PUBSP, June 2009; Supervisor.
  64. Panagiota Nicolaou, Simulation and Experimental Evaluation of Robust Parallel Algorithms in the SB-PRAM Model, June 2009; Supervisor.
  65. Stefanos Mattei, Specification and Simulation of the AOMDV Routing Algorithm for Ad-Hoc Networks using the TIOA Toolkit, June 2008; Supervisor.
  66. Giorgos Loutsios, Searching for a Black Hole in Computer Networks, June 2008; Supervisor.
  67. Haris Loukas, Implementation and Performance Evaluation of a Read/Write Atomic Shared Memory Algorithm on PlanetLab, June 2008; Supervisor.
  68. 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.

  69. Prodormos Alambritis, A Survey on Grid Dependability, June 2007; Supervisor.
  70. Pantelis Vladimirou, Application-based Performance Evaluation of PlanetLab, June 2007; Supervisor.
  71. Maria Papa, Implementation and Performance Evaluation of a Fault-tolerant Hybrid MPLS Algorithm, June 2007; co-Supervisor (with Vasos Vassiliou).
  72. 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.

  73. Prokopis Hadziprokopiou, Automated Implementation of the Paxos Algorithm using the IOA Toolkit, June 2006; Supervisor.
  74. Pantelis Loizou, Implementation and Experimental Evaluation of Parallel Algorithms using the Fork95 Programming Language, June 2006; Supervisor.
  75. Maria Hadjiona, Design and Analysis of a Fault-Tolerant Algorithm for MPLS Networks, June 2006; co-Supervisor (with Vasos Vassiliou).
  76. Georgia Dionisiou, Evaluation of Label Distribution Protocols in Different MPLS Network Topologies, June 2006; co-Supervisor (with Vasos Vassiliou).
  77. Marhta Wright, Implementation of Two Algorithms for Computing Pure Nash Equilibria in the KP Network Model, June 2006; co-Supervisor (with Anna Philippou).