The Research Laboratory for Foundations of Computing Systems and Theoretical Computer Science is part of the Computer Science Department of the University of Cyprus. Established in 2001, it is mainly supported by research funds from the European Union.

The lab undertakes basic research in the areas of:

• Algorithmic Game Theory

  • Computation of Nash Equilibria

  • Price of Anarchy

  • The Fully Mixed Nash Equilibrium Conjecture

  • Non-Cooperative Networks

• Distributed and Parallel Computing

  • Distributed Data Structures

  • Distributed Cooperation

  • Fault-Tolerant Distributed Algorithms

• Specification and Verification

  • Process Algebras

• Networking Theory

  • Flow Control

  • Queueing

  • Packet-Switching/Routing

  • Sensor Networks

Director: M. Mavronicolas