Project Participation

  • 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.
  • 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.
  • ALCOM-FT: Algorithms and Complexity - Future Technologies. 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 Programme (IST); March 2002 -- May 2003.
  • 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 Programme (IST); January 2004 -- December 2007.
  • 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 Programme (IST); September 2005 -- August 2009.
  • 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