This is a selection of recent research and development projects in which Corelab members have participated.

  • Algorithms of Today / THALES, Greek Secretariat of Research and Technology, Oct. 2011 – Oct. 2015. Basic research on algorithms and complexity. Stathis Zachos (coordinator), Aris Pagourtzis, Dimitris Fotakis (senior researchers).
  • Handling Uncertainty in Data Intensive Applications / THALES, Greek Secretariat of Research and Technology, Oct. 2011 – Oct. 2015. Basic research on algorithmic aspects of data intensive applications. Dimitris Fotakis (senior researcher).
  • Algorithmic Game Theory / THALES, Greek Secretariat of Research and Technology, Oct. 2011 – Oct. 2015. Basic research on algorithmic game theory. Dimitris Fotakis (senior researcher).
  • Computational Complexity of Counting Problems / PEBE 2012, National Technical University of Athens. Basic research on computational complexity. Stathis Zachos (coordinator), Aris Pagourtzis (senior researcher).
  • Resource Allocation to Selfish Entities Using Game Theoretic Models / PEBE 2009, National Technical University of Athens, Dec. 2009 – May 2012. Basic research on algorithmic game theory. Dimitris Fotakis (coordinator), Aris Pagourtzis (senior researcher).
  • Byzantine Agreement and Leader Election Protocols in Ad-Hoc Networks / PEBE 2007, National Technical University of Athens. Basic research on distributed algorithms. Aris Pagourtzis (coordinator).
  • Optimization Problems in Computer and Communication Networks / PENED 2003, Greek Secretariat of Research and Technology, 2005 - 2008. Basic research on algorithms and complexity for network optimization problems. Stathis Zachos (coordinator).
  • Theory of Algorithms and Logic: Applications to Computer Science / PYTHAGORAS, Greek Secretariat of Research and Technology, 2004 - 2007. Basic research on algorithms and complexity. Stathis Zachos (coordinator).
  • Algorithms and Complexity / HERACLITUS, Greek Secretariat of Research and Technology, 2002 - 2005. Basic research on algorithms and complexity for network optimization problems. Stathis Zachos (coordinator).
  • Algorithms for Routing and Frequency Assignment in All Optical Networks / PROTAGORAS, National Technical University of Athens, 2004 - 2006. Basic research on algorithmic aspects of optical networks. Stathis Zachos (coordinator).
  • Go Online / EPEAEK, Information Society, Greek Ministry of Education and Religious Affairs, 2002 - 2008. Stathis Zachos (coordinator).
  • Optimization Algorithms for Optical Networks / ARCHIMEDES, National Technical University of Athens, EPISEY, 2000 - 2002. Basic research on algorithmic aspects of optical networks. Stathis Zachos (coordinator).
  • SKEPSIS: Integrated System of Educational Material / EPEAEK, Greek Ministry of Education and Religious Affairs, 1998 - 2001. Stathis Zachos (coordinator).
  • AMORE: Algorithmic Methods for Optimising Railways in Europe / EU Human Potential Programme, 2000 - 2002. Aris Pagourtzis (postodoctoral researcher at Institute of Theoretical Computer Science, ETH Zurich, Switzerland).
  • Parallel and Distributed Combinatorial Computing Using New Technologies / EPSRC GR/N09855, Department of Computer Science, University of Liverpool, UK. Aris Pagourtzis (postodoctoral researcher).
  • Structural Complexity and Non-Classical Reasoning Methods for the Representation and the Handling of Knowledge in Artificial Intelligence and Robotics / PENED 1995, Greek Secretariat of Research and Technology, 1995 - 1997. Basic research on applications of mathematical logic to artificial intelligence and robotics. Stathis Zachos (coordinator).
  • Applications of Logic Techniques to Logic Programming Languages / PENED 1991, Greek Secretariat of Research and Technology, 1991 - 1994. Basic research on applications of mathematical logic to programming languages. Stathis Zachos (coordinator).