**
Postdocs**

Supervising the
following postdoc at University of Cyprus

Vicky Papadopoulou

**
PhD Students**

Co-supervised with
Paul Spirakis the following
PhD theses at University of Patras:

*Panagiota Fatourou*:
"Algorithmic Foundations of Rate-Based Flow Control",

June 1999.

*
Dimitrios Koukopoulos*:
"Network Stability in the Model of Adversarial Queueing Theory",
October 2003.

Co-supervising/co-supervised with
Burkhard Monien the
following PhD Theses at University of Paderborn:

__
__*
Manuel Rode*:
"Nash Equilibria in Discrete Routing Games", December 2004

**
Masters students**

Supervised the following Master theses at University of
Cyprus:

*Persephoni Paulou:* "A Special Case of the
Fully Mixed Nash Equilibrium Conjecture", December 2003.

*Ippolytos Ippolytou: *"Two Cases of the Fully
Mixed Nash Equilibrium Conjecture", February 2004.

*Savvas Lazarides:* Nash Equilibria in
Two-Dimensional Mesh with Three and Four Users and Machines", February
2004.

**
Mentored students**

Acted as research mentor for the following people:

Costas Busch

Worked intensively on Distributed Data Structures while
a graduate student at the
Department of Computer Science at University of Crete and
at the Department of Computer Science
at Brown University under my
guidance. The research resulted in an extensive series
of publications around the specific topic of Counting Networks. The
collaboration is still going on and Costas is now a faculty member at
the Department of Computer Science
of Rensselaer Polytechnic Institute,
after having completed his PhD in Computer Science at the Department of
Computer Science of Brown University, under the supervision of
Maurice Herlihy.

**
Undergraduate students**

Supervising/supervised the following Diploma Projects
(selected) at University of Cyprus:

*Andreas Pieri:* "The
Conjection of the Fully Mixed Nash Equilibrium",
December 2005 (expected)

__Persephoni Pavlou__ "Selfish
Routing Under Arbitrary Cost Functions", June 2001

__Ippolytos Ippolytou__ "Distributed
Decision-Making on the Ring", June 2001

__Antonis Mouskos__ "The Cost of Lack
of Coordination in Distributed Network Routing", June 2000

__Kallis Cappelos__ "Efficient and
Fair Window Flow Control", June 2000

__Stavros Georgiades__ "Optimal,
Distributed Decision-Making: The Case of No Communication", May
1999

__Maria-Eleni Kounnapi__ "Distributed
Systems: An Educational Package for Distant Learning", May 1999

__Constantinos Papadopoulos__
"Fault-Tolerant Tick Synchronization", May 1999

__Katerina Aggeli__ "Complexity
Bounds for Indexing Schemes", May 1998

__Avraam Himaris__ "Computer-Aided
Verification of Timing-Based Distributed Algorithms Using the Larch
Prover - the Mutual Exclusion Algorithm of Lynch and Shavit as a Test
Case", May 1998

__Leonidas Hadjimitsis__ "Contention
in Balancing Networks resolved", May 1998

__Maria Iakovou__ "Balancing
Algorithms for Server Problems", May 1998

__Nikos Nikolaidis__ "Optimal
Distributed Decision-Making", May 1998

__Christos Tattis__ "A Computer-Aided
Study of the Competitive Ration of Markov-Move-To-Front", May 1998

__Evangelos Tougias__ "A Software
System for Indexing, Archiving and Retrieval in a Law Office", May
1998

__Haralambos Tsimouris__ "An
Experimental Evaluation of Adversarial Queueing Theory", May 1998

__Maria Eleftheriou__ "Linearizability
in the Presence of Partial Synchrony and Under Different Delay
Assumptions", February 1998

__Matthew Polydorou__ "Randomized
Protocols for Byzantine Agreement and Optimal Probabilities",
September 1998

__Melina Constantinou__ "A Modular
Proof of Correctness fir the Counting Network of Felten, Ladnet and
Lamarca", May 1997

*Nikos Papadakis* "Trade-Off
Results for Connection Management", May 1997

__Soteroula Nikolaidou__ "Using
Simulation Techniques to Prove Correctness and Timing Properties: The
Case of Lynch - Shavit's Algorithm for Mutual Exclusion", May 1996

__Maria Yioutani__ "Using Simulation
Techniques to Prove Correctness and Timing Properties: The Case of Alur
- Taubenfeld's Algorithm for Mutual Exclusion", May 1996

*
Theoretical Computer Science*

Theory of Computation, Design and Analysis of
Algorithms, Data Structures, Distributed Computing, Parallel Computing,
Algorithms and Complexity, Algorithmic Game Theory.

**
Systems and Programming**

Distributed Systems, Parallel Systems, Computer
Networks, Concurrent Programming.

*
Discrete Mathematics of Computer Science*

Combinatorics, Graph Theory, Probability, Logic.