She completed her undergraduate studies at the University of Oxford, (B.A. in Mathematics and Computation, 1992) and her postgraduate studies at the University of Warwick (M.Sc. in Parallel Computers and Computation, 1993, Ph.D. in Computer Science, 1997). Before joining the Department of Computer Science of the University of Cyprus she worked as a Teaching Assistant at the University of Warwick (1993-1996) and as a Postdoctoral Research Fellow at the University of Pennsylvania (1997-1998). Her research interests lie in the areas of Foundations of Concurrent and Distributed Computation, Formal Methods for Real-time Systems, and Algorithmic Game Theory.