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
- Irene Kyriacou, Dept. of Computer Science, University of Cyprus (status: part time); Supervisor.
Topic: Autonomous Navigation of Collaborating UAVs in GPS-denied Environments
- 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)
- Irene Kyriacou, Simulation Software for Autonomous Navigation of UAVs in GPS-denied Environments, June 2024; Supervisor.
- 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)
- Eliada Polydorou, Predictive Modeling for the Digital Asset Markets: Feature Selection and Comparative Analysis of Machine Learning Algorithms
, May 2024; Supervisor.
- Grigoris Michael, Machine Learning Based Management and Statistical Analysis of Data
Collected from a Plant Phenotyping Platform, May 2024; Supervisor.
- Ioulianos Christou, Exploring Different Methods For Annotating Real-Time E4-
Based Psychophysiological Data Using Semi-Supervised
Machine-Learning, May 2024; Supervisor.
- Stavros Hadjikostis, Developement of a Web-based Information Platform for a High School Institute, May 2024; Supervisor.
- 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).