Welcome to the Laboratory for Foundations of Computing Systems and Theoretical Computer Science
The Laboratory for Foundations of Computing Systems and Theoretical Computer Science
is part of the Computer Science Department of the University of Cyprus. It was established
in 2001 in order to coordinate and promote research activities within Theoretical Computer
Science and the Foundations of Computing Systems. The laboratory is active in the fields of
algorithms and complexity, algorithmic game theory, graph algorithms, distributed,
parallel and concurrent computing, concurrency theory and formal methods.
Research in the Laboratory is currently being pursued by three faculty members, three PhD students,
while several masters and undergraduates are conducting research in various related areas.
Several of the research activities are carried out in collaboration with academic institutions in
Europe and the USA, and have been funded from various sources including the European Union,
the Cyprus Research Foundation and the University of Cyprus.
