Research Projects

• VisorSurf: A Hardware Platform for Software-driven Functional Metasurfaces. Funded by the FET Open (Future and Emerging Technologies), Research and Innovation Actions, Horizon 2020 programme of the European Union (EU); January 2017 - December 2020. Role: Principal Investigator
• Delta: Future tamper-proof Demand rEsponse framework through seLf-configured, self-opTimized and collAborative virtual distributed energy nodes. Funded by the Research and Innovation Actions, Horizon 2020 programme of the European Union (EU); May 2018 - April 2021. Role: Participant
• MEDUSA: Multi-order dependency approaches for managing cascading effects in ports' global supply chain and their integration in risk assessment frameworks. Funded by the Prevention, Preparedness and Consequence Management of Terrorism and other Security-related Risks (CIPS) programme of the European Union (EU); July 2014 - June 2016. Role: Site Coordinator
• PROODOS: Formal Techniques for Specifying and Verifying Ad hoc Network Protocols. Funded by the Cyprus Research Promotion Foundation, in the context of PENEK (Program for Supporting Young Researchers 2005); February 2006 - August 2007. Role: Coordinator
• AEOLUS: Algorithmic Principles for Builiding Efficient Overlay Computers. Funded by the European Commission, Research Directorate, Future and Emerging Technologies Unit (FET), 6th Framework Programme on Research, Technological Development and Demonstration, Information Society Technologies Program (IST); September 2005 - August 2009. Role: Principal Investigator
• DELIS: Dynamically Evolving, Large-Scale Information Systems. Funded by the European Commission, Research Directorate, Future and Emerging Technologies Unit (FET), 6th Framework Programme on Research, Technological Development and Demonstration, Information Society Technologies Program (IST); January 2004 - December 2007. Role: Principal Investigator
• ALCOM-FT: Algorithms and Complexity - Future Technologies. Funded by the European Commission, Research Directorate, Future and Emerging Technologies Unit (FET), 5th Framework Programme on Research, Technological Development and Demonstration, Information Society Technologies Programme (IST); March 2002 - May 2003. Role: Principal Investigator
• FLAGS: Foundational Aspects of Global Computing. Funded by the European Commission, Research Directorate, Future and Emerging Technologies Unit (FET), 5th Framework Programme on Research, Technological Development and Demonstration, Information Society Technologies Programme (IST); January 2002 - December 2004. Role: Principal Investigator
• ENDIKTIS: Evaluating the Efficiency of Network Systems with Quality of Service Guarantees. Funded by the Cyprus Research Promotion Foundation, in the context of PENEK (Program for Supporting Young Researchers 2001); November 2001 - October 2003. Role: Coordinator

COST Action Participation

• RC: Reversible Computation - Extending Horizons of Computing, COST Action IC1405; April 2015 - April 2019. Role: Managing Committee Member and Cost Action Equality Chair
• BETTY: Behavioural Types for Reliable Large-Scale Software Systems, COST Action IC1201; October 2012 - October 2016. Role: Managing Committee Member